git.iko.soy/Idris-dev
on 6cb5714 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/Version increment to 0.99 proofs/Change Instance to implementation (#3404) reference/Provide an example of idris example tutorial/Add missing quotation marks for `in` .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.pyfix sphinx warnings. index.rstCleaned up the menu for the docs. make.batSphinx Based Documentation for Idris.