git.iko.soy/Idris-dev
on e8253fc 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/Updates to User Docs on Idris packages. tutorial/Updates to User Docs on Idris packages. .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.