../ effects/Remove captions from docs12 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/Merge pull request #2055 from jfdm/doc/missing-example12 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 and removed style-guide.12 years ago conf.pyUpdated theme to work woth read the docs.12 years ago index.rstAdd section on theorem proving to tutorial12 years ago make.batSphinx Based Documentation for Idris.12 years ago