git.iko.soy/Idris-dev
on 9bebebc help sign in
Idris-dev/docs
8 folders, 7 files
../ effects/Fixed use of reST in effects 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/Fixed types in tutorial for Well-Typed Interpreter. .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.pyVersion increment docs. index.rstCleaned up the menu for the docs. make.batSphinx Based Documentation for Idris.