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