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