git.iko.soy/Idris-dev
on 63ff875 help sign in
Idris-dev/docs/reference
16 files
../ compilation.rstSpelling in Sphinx documentation documenting.rstAdd Vim command for declaration documentation elaborator-reflection.rstUpdate tactics documentation based on deprecation erasure.rstSpelling in Sphinx documentation ffi.rstDocs for new record syntax ide-protocol.rstSpelling in Sphinx documentation index.rstFix missing index contents language-extensions.rstUpdates language-features.rstSpelling in Sphinx documentation misc.rstPruning and deduplication of content in the reference documentation. packages.rstImprovements to ipkg files for dependancies. repl.rstReplace "metavariable" with "hole" semantic-highlighting.rstFix typos in semantic highlighting docs syntax-guide.rstsyntax guide: discuss modules, imports. tactics.rstUpdate tactics documentation based on deprecation uniqueness-types.rstFix links