git.iko.soy/Idris-dev
on 92eeac2 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.rstUpdate documentation on C heap. 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.rstUpdated User Docs for new visibility modifiers. tactics.rstFixed reST error in docs. uniqueness-types.rstFix links