../ _static/add documentation for elaboration reflection7 years ago effects/Fixes error in type definition for So.8 years ago faq/Updated FAQ with information about documentation8 years ago guides/A paper by David R. Christiansen has been moved.8 years ago image/changes to generatingData.rst7 years ago listing/Update version number8 years ago proofs/changes to tactics.rst7 years ago reference/Initial transfer of {AS} grammar to Sphinx Documtation.8 years ago st/Fix a typo8 years ago tutorial/Fix sample code8 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.pyupdate copyright notice to 20197 years ago index.rstStart ST tutorial10 years ago make.batSphinx Based Documentation for Idris.12 years ago