Sha256: 996576157334e68f464f2a30af8b4c244e43e19fe1606aa4752312bbf977e3c2
Contents?: true
Size: 793 Bytes
Versions: 318
Compression:
Stored size: 793 Bytes
Contents
Before installing Idris, you will need to make sure you have all of the necessary libraries and tools. You will need: * A fairly recent Haskell platform. Version 2013.2.0.0 should be sufficiently recent, though it is better to be completely up to date. * The GNU Multiple Precision Arithmetic Library (GMP) is available from MacPorts/Homebrew and all major Linux distributions. The easiest way to install Idris, if you have all of the prerequisites, is to type: ```shell cabal update; cabal install idris ``` This will install the latest version released on Hackage, along with any dependencies. If, however, you would like the most up to date development version you can find it, as well as build instructions, on GitHub at: https://github.com/idris-lang/Idris-dev.
Version data entries
318 entries across 318 versions & 1 rubygems