git.iko.soy/Idris-dev
on acdf90f 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/Heading normalisation, and reST usage fixes. reference/Docs for new record syntax tutorial/Docs for new record syntax .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.