../ effects/Fix typo in Dep.Eff documentation.9 years ago faq/Fix reST errors.9 years ago guides/Updated remaining use of deprecated `return` in Docs to `pure`.10 years ago image/Add network example to ST tutorial10 years ago listing/fix version numbers in listings.9 years ago proofs/Fix reST errors.9 years ago reference/partial-evaluation.rst: peval is off since 1.09 years ago st/Fix reST errors.9 years ago tutorial/Expands on documentation of the 'with' rule (#4195)9 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.pyFix DOC version number and update shipped PDF.9 years ago index.rstStart ST tutorial10 years ago make.batSphinx Based Documentation for Idris.12 years ago