../ effects/Remove "notation" - syntax rule isn't used anymore.11 years ago faq/faq: Fix typo in argument name of ifThenElse11 years ago guides/Spelling in Sphinx documentation11 years ago image/Sphinx Based Documentation for Idris.12 years ago listing/Extracted listings for prompts into external files.12 years ago proofs/Merge pull request #2518 from jeremy-w/jeremy-w/mark-interactive-proving-as-deprecated11 years ago reference/Keep :set options in sync.11 years ago tutorial/Add quotes to "Hello world!"11 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.pyBumped version number for docs.11 years ago index.rstCleaned up the menu for the docs.11 years ago make.batSphinx Based Documentation for Idris.12 years ago