git.iko.soy/Idris-dev
on fd6898e 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/Version increment proofs/class->interface change in rest of tutorial reference/Add where keyword to UList and BadList in the Uniqueness Types documentation. tutorial/Clarified the formatting in the section on `If`. .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.