git.iko.soy/Idris-dev
on fc7c458 help sign in
Idris-dev/docs
8 folders, 7 files
../ effects/Updated remaining use of deprecated `return` in Docs to `pure`. 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 number proofs/Change Instance to implementation (#3404) reference/Updated remaining use of deprecated `return` in Docs to `pure`. tutorial/Updated remaining use of deprecated `return` in Docs to `pure`. .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 number index.rstCleaned up the menu for the docs. make.batSphinx Based Documentation for Idris.