../ effects/Change name of Err to Error (#3187)10 years ago faq/s/errror/error/11 years ago guides/Remove discussion of deprecated FFI11 years ago image/Sphinx Based Documentation for Idris.12 years ago listing/Update version numbers10 years ago proofs/class->interface change in rest of tutorial11 years ago reference/Extend iPKG files to include metadata.10 years ago tutorial/Fixed error messages with `head` and `unsafeHead`10 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 numbers10 years ago index.rstCleaned up the menu for the docs.11 years ago make.batSphinx Based Documentation for Idris.12 years ago