../ _static/add documentation for elaboration reflection7 years ago effects/use HTTPS URL instead of HTTP URL when possible7 years ago elaboratorReflection/add links between sections7 years ago faq/use HTTPS URL instead of HTTP URL when possible7 years ago guides/use HTTPS URL instead of HTTP URL when possible7 years ago image/tidy up parser library documentation7 years ago listing/use HTTPS URL instead of HTTP URL when possible7 years ago parserLibrary/start on Defining Block Structure using Indents7 years ago proofs/Merge pull request #4797 from MilanKral/https7 years ago reference/Merge pull request #4797 from MilanKral/https7 years ago st/use HTTPS URL instead of HTTP URL when possible7 years ago tutorial/use HTTPS URL instead of HTTP URL when possible7 years ago .gitignoreSphinx Based Documentation for Idris.12 years ago LICENSEuse HTTPS URL instead of HTTP URL when possible7 years ago Makefileuse HTTPS URL instead of HTTP URL when possible7 years ago README.mduse HTTPS URL instead of HTTP URL when possible7 years ago conf.pywork on parser page7 years ago index.rstadd parser library documentation7 years ago make.batuse HTTPS URL instead of HTTP URL when possible7 years ago