git.iko.soy/Idris-dev
on 183f533 help sign in
Idris-dev/docs
8 folders, 7 files
../ effects/Fix typo in effects tutorial faq/Addressed the narrative point of view. guides/Updated remaining use of deprecated `return` in Docs to `pure`. image/Sphinx Based Documentation for Idris. listing/Update version numbers proofs/Change Instance to implementation (#3404) reference/Updated CHANGELOG and Documentation. tutorial/Module Dependencies Using Atom should be a sub-heading .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.pyUpdate version numbers index.rstCleaned up the menu for the docs. make.batSphinx Based Documentation for Idris.