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

Wrong equation references in the text of Monus

Browse source
This commit is contained in:
Michel Steuwer 2018-05-13 16:26:23 +01:00 committed by GitHub
parent b9e8d2581f
commit e65eb3713f
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/Naturals.lagda
View file

@ -522,7 +522,7 @@ _ =
1
∎
\end{code}
We did not use the third equation at all, but it will be required
We did not use the second equation at all, but it will be required
if we try to subtract a smaller number from a larger one.
\begin{code}
_ =