git.iko.soy/Idris-dev
on 84fa0bb help sign in
Idris-dev/docs/reference
5 files
../ documenting.rstUpdates erasure.rstUpdates ffi.rstUpdates index.rstUpdated license to be CC0 and restored missing section. uniqueness-types.rstUpdates