git.iko.soy/Idris-dev
on e7a4efe help sign in
Idris-dev/docs
8 folders, 7 files
../ effects/Update introduction.rst faq/Add totality checking note to FAQ guides/Heading normalisation, and reST usage fixes. image/Sphinx Based Documentation for Idris. listing/Extracted listings for prompts into external files. proofs/Change wording in unification errors reference/Update ide-protocol.rst tutorial/Add short section on first class types to tutorial .gitignoreSphinx Based Documentation for Idris. LICENSEUpdated license to be CC0 and restored missing section. MakefileSphinx Based Documentation for Idris. README.mdCan build docs locally using ReadTheDocs Theme. conf.pyModified conf.py to work locally if rtd-theme is not installed. index.rstMove IDE protocol docs make.batSphinx Based Documentation for Idris.