../ effects/Updated effect example12 years ago faq/Add docs and changelog entry for bundled toolchain12 years ago guides/Heading normalisation, and reST usage fixes.12 years ago image/Sphinx Based Documentation for Idris.12 years ago listing/Extracted listings for prompts into external files.12 years ago proofs/Heading normalisation, and reST usage fixes.12 years ago reference/Heading normalisation, and reST usage fixes.12 years ago tutorial/Heading normalisation, and reST usage fixes.12 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.pyModified conf.py to work locally if rtd-theme is not installed.12 years ago index.rstHeading normalisation, and reST usage fixes.12 years ago make.batSphinx Based Documentation for Idris.12 years ago