git.iko.soy/Idris-dev
on 7ecd2ff help sign in
Idris-dev/docs
12 folders, 7 files
../ _static/add documentation for elaboration reflection effects/use HTTPS URL instead of HTTP URL when possible 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/Change lines of code of JavaScript to 60 for Hello World example in docs 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.pywork on parser page index.rstadd parser library documentation make.batuse HTTPS URL instead of HTTP URL when possible