../ effects/Update introduction.rst12 years ago faq/Updates11 years ago guides/Update11 years ago image/Sphinx Based Documentation for Idris.12 years ago listing/Extracted listings for prompts into external files.12 years ago proofs/Change wording in unification errors11 years ago reference/Add maximum pretty-printer depth option.11 years ago tutorial/Add short section on first class types to tutorial11 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.pyBumped doc version number11 years ago index.rstAdded details of the compilation and logging process.11 years ago make.batSphinx Based Documentation for Idris.12 years ago