README.md
November 25, 2012 ยท View on GitHub
To build, install the latest Idris (http://idris-lang.org/) then type
./build
from the source directory.
November 25, 2012 ยท View on GitHub
To build, install the latest Idris (http://idris-lang.org/) then type
./build
from the source directory.