../ effects/Update introduction.rst12 years ago faq/Update FAQ11 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/An interactive Elab shell11 years ago tutorial/Fixed minor inconsistency in function definitions11 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