../ effects/Fix typo in Dep.Eff documentation.9 years ago faq/Fix some format.9 years ago guides/Update type-providers-ffi.rst9 years ago image/Add network example to ST tutorial10 years ago listing/Update version number properly this time (sorry!)9 years ago proofs/Fix reST errors.9 years ago reference/Fix typo in package name9 years ago st/Fix some typos and normalize the use of punctuations.9 years ago tutorial/Add code-block mark.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.pyUpdate version number properly this time (sorry!)9 years ago index.rstStart ST tutorial10 years ago make.batSphinx Based Documentation for Idris.12 years ago