../ effects/Merge pull request #2408 from mjgpy3/metavariable_to_hole_docs11 years ago faq/Update FAQ11 years ago guides/Replace "metavariable" with "hole"11 years ago image/Sphinx Based Documentation for Idris.12 years ago listing/Extracted listings for prompts into external files.12 years ago proofs/Replace "metavariable" with "hole"11 years ago reference/Parser-driven highlighting of quasiquoted regions11 years ago tutorial/Replace "metavariable" with "hole"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 doc version number11 years ago index.rstFix missing index contents11 years ago make.batSphinx Based Documentation for Idris.12 years ago