git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofdocs/proofs/pluscomm.rst
all commits
0df1270Change Instance to implementation (#3404)(λ _ λ) 35958e3class->interface change in rest of tutorialEdwin Brady 61870cbChange wording in unification errorsEdwin Brady 87039fbHeading normalisation, and reST usage fixes.Jan de Muijnck-Hughes 04831cfFix some minor typosbmastenbrook 9f4aea3Correct error message in proof docsEdwin Brady be93168Add section on theorem proving to tutorialEdwin Brady