git.iko.soy/Idris-dev
on 9bebebc 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.rstJust/Nothing for intro was split into intro/intro' erasure.rstSpelling in Sphinx documentation ffi.rstDo a writeup on new C FFI features 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.rstfix docs section header for anonymous functions tactics.rstFixed reST error in docs. uniqueness-types.rstAdd where keyword to UList and BadList in the Uniqueness Types documentation.