git.iko.soy/Idris-dev
on 628ddcb help sign in
Idris-dev/docs/reference
5 files
../ documenting.rstUpdates erasure.rstAdd section on package creation, and typo fixes. ffi.rstUpdates index.rstFixes #2045 Fixed reST syntax error in license declaration. uniqueness-types.rstUpdates