git.iko.soy/Idris-dev
on eb4f161 help sign in
Idris-dev/docs
8 folders, 7 files
../ effects/Change name of Err to Error (#3187) faq/Addressed the narrative point of view. 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/Use interface instead class or type class in documentations (#3379) tutorial/Add info on $= record update syntax. .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.