michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

typo in Properties

Browse source
This commit is contained in:
wadler 2018-05-26 17:52:02 -03:00
parent 32ed9d0333
commit aef3f23528
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Properties.lagda
View file

@ -158,7 +158,7 @@ The appropriate instances of the inference rules are:
(m + n) + p ≡ m + (n + p) (m + n) + p ≡ m + (n + p)
--------------------------------- ---------------------------------
(suc m + n) + p ≡ (suc m + n) + p (suc m + n) + p ≡ suc m + (n + p)
If we can demonstrate both of these, then associativity of addition If we can demonstrate both of these, then associativity of addition
follows by induction. follows by induction.