../ effects/Fixes build errors relating to use of Sphinx 1.2.2.12 years ago faq/A couple more FAQs12 years ago guides/Fixes #2045 Fixed reST syntax error in license declaration.12 years ago image/Sphinx Based Documentation for Idris.12 years ago listing/Extracted listings for prompts into external files.12 years ago proofs/Fix some missing words12 years ago reference/Add section on package creation, and typo fixes.12 years ago tutorial/Fixes build errors relating to use of Sphinx 1.2.2.12 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.mdUpdated README to warn about sphinx version.12 years ago conf.pyUpdated theme to work woth read the docs.12 years ago index.rstMerge pull request #2066 from jfdm/doc/sphinx-version-fixes12 years ago make.batSphinx Based Documentation for Idris.12 years ago