git.iko.soy/Idris-dev
on 5984b2f help sign in
Idris-dev/docs
8 folders, 7 files
../ effects/Fixed use of reST in effects tutorial. faq/s/errror/error/ guides/Remove discussion of deprecated FFI image/Sphinx Based Documentation for Idris. listing/Version increment proofs/class->interface change in rest of tutorial reference/Changed type classes in error messages and documentation to interfaces where necessary (previously forgotten) 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.pyUpdated document versions to 0.11 and updated tutorial pdf. index.rstCleaned up the menu for the docs. make.batSphinx Based Documentation for Idris.