../ effects/Type arguments of declaration were made to be similar to the others.7 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/rewrite documentation for interactive theorem proving8 years ago listing/Update version numbers ready for release7 years ago proofs/Proofs docs were fixed a little.7 years ago reference/Correct MKSTR arguments in FFI docs.7 years ago st/Fix a typo8 years ago tutorial/Couple of small tutorial typos were fixed.7 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 version numbers ready for release7 years ago index.rstStart ST tutorial10 years ago make.batSphinx Based Documentation for Idris.12 years ago