../ effects/Change name of Err to Error (#3187)10 years ago faq/Addressed the narrative point of view.10 years ago guides/Change Instance to implementation (#3404)10 years ago image/Sphinx Based Documentation for Idris.12 years ago listing/Update version number10 years ago proofs/Change Instance to implementation (#3404)10 years ago reference/Added ruby codegen to doc and alphabatised list.10 years ago tutorial/Fixed typo in typesfuns.rst10 years ago .gitignoreSphinx Based Documentation for Idris.12 years ago LICENSEUpdated license to be CC0 and restored missing section.12 years ago MakefileSphinx Based Documentation for Idris.12 years ago README.mdCan build docs locally using ReadTheDocs Theme.12 years ago conf.pyUpdate version number10 years ago index.rstCleaned up the menu for the docs.11 years ago make.batSphinx Based Documentation for Idris.12 years ago