git.iko.soy/Idris-dev
on 97752ca help sign in
Idris-dev/docs
8 folders, 7 files
../ effects/Change name of Err to Error (#3187) faq/use `Double` instead of `Float` in docs guides/Remove discussion of deprecated FFI image/Sphinx Based Documentation for Idris. listing/Update version numbers proofs/class->interface change in rest of tutorial reference/use `Double` instead of `Float` in docs tutorial/use `Double` instead of `Float` in docs .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.pyUpdate version numbers index.rstCleaned up the menu for the docs. make.batSphinx Based Documentation for Idris.