../ 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 reference/Add section on package creation, and typo fixes.12 years ago tutorial/Merge pull request #2047 from jfdm/userdocs/package-creation12 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.rstMerge pull request #2047 from jfdm/userdocs/package-creation12 years ago make.batSphinx Based Documentation for Idris.12 years ago