../ effects/Merge pull request #2047 from jfdm/userdocs/package-creation12 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 minor typos12 years ago reference/Add section on package creation, and typo fixes.12 years ago tutorial/Fix more pandoc conversion errors12 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