1Idris (http://idris-lang.org/) is an experimental functional programming
2language with dependent types.
4To configure, edit config.mk. The default values should work for most people.
6To install, type 'make'. This will install everything using cabal and
7typecheck the libraries.
9To run the tests, type 'make test' which will execute the test suite, and
10'make relib', which will typecheck and recompile the standard library.
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list