git.iko.soy/Idris-dev
on bdf2d7a 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 to 0.12.2 proofs/class->interface change in rest of tutorial reference/Added information about bash completion. tutorial/since count function deprecated in Prelude, update doc use enumFromTo and enumFromThenTo function in Prelude for claifying .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 to 0.12.2 index.rstCleaned up the menu for the docs. make.batSphinx Based Documentation for Idris.