git.iko.soy/Idris-dev
on a95debf help sign in
Idris-dev/docs/reference
5 files
../ documenting.rstDocs for new record syntax erasure.rstHeading normalisation, and reST usage fixes. ffi.rstDocs for new record syntax index.rstFixes #2045 Fixed reST syntax error in license declaration. uniqueness-types.rstHeading normalisation, and reST usage fixes.