git.iko.soy/Idris-dev
on 009a5d7 help sign in
Idris-dev/docs
8 folders, 7 files
../ effects/class->interface change in rest of tutorial faq/class->interface change in rest of tutorial guides/Spelling in Sphinx documentation image/Sphinx Based Documentation for Idris. listing/Extracted listings for prompts into external files. proofs/class->interface change in rest of tutorial reference/Changed the '[static]' annotation to '%static', for uniformity with the rest of the language. tutorial/Merge pull request #2892 from thisfred/tutorial-record-typo .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.pyUser Docs updates index.rstCleaned up the menu for the docs. make.batSphinx Based Documentation for Idris.