git.iko.soy/Idris-dev
on 62f8aae 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.pySet code block frames to white (appearing transparent) index.rstCleaned up the menu for the docs. make.batSphinx Based Documentation for Idris.