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

Merge pull request #8 from koo5/master

Browse source 
Typo fix - thank you!
This commit is contained in:
wadler 2018-05-07 10:00:42 -03:00 committed by GitHub
commit 956525e9b6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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

@ -217,7 +217,7 @@ be shown, and reading down from the top and up from the bottom takes us to
For the inductive case, we must show:
(suc m + n) + p ≡ (suc m + n) + p
(suc m + n) + p ≡ suc m + (n + p)
Simplifying both sides with the inductive case of addition yields the equation: