../ effects/Fix typo in Dep.Eff documentation.9 years ago faq/Updated FAQ with information about documentation8 years ago guides/A paper by David R. Christiansen has been moved.8 years ago image/Add network example to ST tutorial10 years ago listing/Update version number8 years ago proofs/Fix reST errors.9 years ago reference/Reference to WebAssembly backend added8 years ago st/Update introduction.rst9 years ago tutorial/Fixes a few typos in the tutorial on views8 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 number8 years ago index.rstStart ST tutorial10 years ago make.batSphinx Based Documentation for Idris.12 years ago