git.iko.soy/Idris-dev
on master help sign in
Idris-dev/docs
12 folders, 7 files
../ _static/add documentation for elaboration reflection effects/Update introduction.rst elaboratorReflection/add links between sections faq/use HTTPS URL instead of HTTP URL when possible guides/use HTTPS URL instead of HTTP URL when possible image/tidy up parser library documentation listing/use HTTPS URL instead of HTTP URL when possible parserLibrary/add documentation about end-of-input proofs/Merge pull request #4797 from MilanKral/https reference/Align steps in preorder reasoning example st/use HTTPS URL instead of HTTP URL when possible tutorial/use HTTPS URL instead of HTTP URL when possible .gitignoreSphinx Based Documentation for Idris. LICENSEuse HTTPS URL instead of HTTP URL when possible Makefileuse HTTPS URL instead of HTTP URL when possible README.mduse HTTPS URL instead of HTTP URL when possible conf.pyFix Readthedocs PDF generation index.rstadd parser library documentation make.batuse HTTPS URL instead of HTTP URL when possible