git.iko.soy/Idris-dev
on a95debf 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/Docs for new record syntax tutorial/insert missed lambda param .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.rstHeading normalisation, and reST usage fixes. make.batSphinx Based Documentation for Idris.