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.
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