7This is the reference guide for the Idris Language.
8It documents the language specification and internals.
9This will tell you how Idris works, for using it you should read the Idris Tutorial.
12 The documentation for Idris has been published under the Creative
13 Commons CC0 License. As such to the extent possible under law, *The
14 Idris Community* has waived all copyright and related or neighboring
15 rights to Documentation for Idris.
17 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
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