../ codegen.rstReference to WebAssembly backend added8 years ago compilation.rstUpdate documentation to add the options for CATS in logging9 years ago documenting.rstProvide an example of idris example10 years ago elaborator-reflection.rstCorrect link to "Design and Implementation" paper8 years ago erasure.rstFix typo9 years ago ffi.rstError when using closure as callback in C backend8 years ago ide-protocol.rstFix typos in docs9 years ago index.rstTransfered code generation documentation from github wiki.10 years ago internals.rstFixed heading issue in docs.10 years ago language-extensions.rstUpdates11 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.rstFix typo in package name9 years ago partial-evaluation.rstpartial-evaluation.rst: peval is off since 1.09 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.rstMerge pull request #4264 from mlang/doctypos9 years ago tactics.rstRemove old eliminator generation and induction tactic (#4351)9 years ago type-directed-search.rstTransfered type-dreicted search wiki page from github wiki to proper docs.10 years ago uniqueness-types.rstUpdated remaining use of deprecated `return` in Docs to `pure`.10 years ago