git.iko.soy/Idris-dev
on 009a5d7 help sign in
Idris-dev/docs/reference
16 files
../ compilation.rstFixes #2865 by adding documentation for category-based logging. documenting.rstAdd Vim command for declaration documentation elaborator-reflection.rstdebuggging --> debugging 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.rstChanged the '[static]' annotation to '%static', for uniformity with the rest of the language. misc.rstPruning and deduplication of content in the reference documentation. packages.rstImprovements to ipkg files for dependancies. repl.rstAdd an example of binding without type annotation semantic-highlighting.rstFix typos in semantic highlighting docs syntax-guide.rstReference docs: correct sentence about type syntax. tactics.rstFixed reST error in docs. uniqueness-types.rstFix links