1.. Idris Manual documentation master file, created by
2 sphinx-quickstart on Sat Feb 28 20:41:47 2015.
3 You can adapt this file completely to your liking, but it should at least
4 contain the root `toctree` directive.
6Documentation for the Idris Language
7====================================
11 The documentation for Idris has been published under the Creative
12 Commons CC0 License. As such to the extent possible under law, *The
13 Idris Community* has waived all copyright and related or neighboring
14 rights to Documentation for Idris.
16 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