../ _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/add diagram for attack7 years ago listing/use HTTPS URL instead of HTTP URL when possible7 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.pyMerge pull request #4700 from martinbaker/mydoc7 years ago index.rstMerge pull request #4797 from MilanKral/https7 years ago make.batuse HTTPS URL instead of HTTP URL when possible7 years ago