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

fix a typo

Browse source
This commit is contained in:
Jeremy Siek 2020-01-27 16:18:00 -05:00
parent 83b8e6da00
commit eae2f16659
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/plfa/part1/Quantifiers.lagda.md
View file

@ -465,7 +465,7 @@ And to establish the following properties:
Using the above, establish that there is an isomorphism between `ℕ` and Using the above, establish that there is an isomorphism between `ℕ` and
`∃[ b ](Can b)`. `∃[ b ](Can b)`.
We recommend proving following lemmas which show that, for a given We recommend proving the following lemmas which show that, for a given
binary number `b`, there is only one proof of `One b` and similarly binary number `b`, there is only one proof of `One b` and similarly
for `Can b`. for `Can b`.