Skip to content
Permalink
v1.3.3
Switch branches/tags
Go to file
 
 
Cannot retrieve contributors at this time
30 lines (23 sloc) 868 Bytes

Documentation for the Idris Language

Note

The documentation for Idris has been published under the Creative Commons CC0 License. As such to the extent possible under law, The Idris Community has waived all copyright and related or neighboring rights to Documentation for Idris.

More information concerning the CC0 can be found online at: https://creativecommons.org/publicdomain/zero/1.0/

.. toctree::
   :maxdepth: 1

   tutorial/index
   faq/faq
   st/index
   effects/index
   proofs/index
   elaboratorReflection/index
   parserLibrary/index
   reference/index
   guides/index