git.iko.soy/Idris-dev
on e426fa2 help sign in
Idris-dev/docs
8 folders, 7 files
../ effects/Update introduction.rst faq/High-level if ... then ... else ... expression guides/Heading normalisation, and reST usage fixes. image/Sphinx Based Documentation for Idris. listing/Extracted listings for prompts into external files. proofs/minor editorials reference/Move IDE protocol docs tutorial/Add missing code snippet to provisional.rst .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.