../ codegen.rstSome corrections in the docs/reference were done.7 years ago compilation.rstSome corrections in the docs/reference were done.7 years ago documenting.rstProvide an example of idris example10 years ago erasure.rstuse HTTPS URL instead of HTTP URL when possible7 years ago ffi.rstSome corrections in the docs/reference were done.7 years ago ide-protocol.rstFix typos in docs9 years ago index.rstMerge pull request #4797 from MilanKral/https7 years ago internals.rstSome corrections in the docs/reference were done.7 years ago language-extensions.rstMerge pull request #4797 from MilanKral/https7 years ago language-features.rstChanged the '[static]' annotation to '%static', for uniformity with the rest of the language.11 years ago misc.rstTypo9 years ago packages.rstcorrect example package name7 years ago partial-evaluation.rstuse HTTPS URL instead of HTTP URL when possible7 years ago repl.rstUse interface instead class or type class in documentations (#3379)10 years ago semantic-highlighting.rstFix typos in semantic highlighting docs11 years ago syntax-guide.rstoops undo fie changed in error7 years ago syntax-reference.rstInitial transfer of {AS} grammar to Sphinx Documtation.7 years ago tactics.rstRemove old eliminator generation and induction tactic (#4351)9 years ago type-directed-search.rstuse HTTPS URL instead of HTTP URL when possible7 years ago uniqueness-types.rstuse HTTPS URL instead of HTTP URL when possible7 years ago