../ effects/Fix quotes in Effects introduction9 years ago faq/Addressed the narrative point of view.10 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/Update version numbers10 years ago proofs/Change Instance to implementation (#3404)10 years ago reference/Merge pull request #3795 from kaeluka/patch-19 years ago st/recommit machines.rst9 years ago tutorial/Merge branch 'master' of github.com:idris-lang/Idris-dev into search_for_includes_in_getIdrisLibDir9 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.pyUpdate version numbers10 years ago index.rstStart ST tutorial10 years ago make.batSphinx Based Documentation for Idris.12 years ago