../ effects/Fixed use of reST in effects tutorial.11 years ago faq/s/errror/error/11 years ago guides/Remove discussion of deprecated FFI11 years ago image/Sphinx Based Documentation for Idris.12 years ago listing/Version increment11 years ago proofs/class->interface change in rest of tutorial11 years ago reference/Added slightly to the C FFI reference, and corrected a code example i… (#3126)10 years ago tutorial/Added slightly to the C FFI reference, and corrected a code example i… (#3126)10 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.pyUpdated document versions to 0.11 and updated tutorial pdf.11 years ago index.rstCleaned up the menu for the docs.11 years ago make.batSphinx Based Documentation for Idris.12 years ago