../ effects/Update introduction.rst12 years ago faq/High-level if ... then ... else ... expression11 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/minor editorials11 years ago reference/Move IDE protocol docs11 years ago tutorial/Fix typos, add small clarifications in type class chapter of tutorial.11 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.rstMove IDE protocol docs11 years ago make.batSphinx Based Documentation for Idris.12 years ago