git.iko.soy/Idris-dev
on ec97cac help sign in
Idris-dev/docs
8 folders, 7 files
../ effects/class->interface change in rest of tutorial faq/s/errror/error/ guides/Spelling in Sphinx documentation image/Sphinx Based Documentation for Idris. listing/Extracted listings for prompts into external files. proofs/class->interface change in rest of tutorial reference/Add where keyword to UList and BadList in the Uniqueness Types documentation. tutorial/Fix warning for implicitable names .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.pyBumped doc version into alignment with src. index.rstCleaned up the menu for the docs. make.batSphinx Based Documentation for Idris.