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

fix missing O (#502)

Browse source
This commit is contained in:
Gan Shen 2020-08-18 00:52:46 -07:00 committed by GitHub
parent ba02a8b15c
commit b87defd53d
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/plfa/part1/Naturals.lagda.md
View file

@ -892,7 +892,7 @@ standing for the number eleven is encoded as
Representations are not unique due to leading zeros. Representations are not unique due to leading zeros.
Hence, eleven is also represented by `001011`, encoded as: Hence, eleven is also represented by `001011`, encoded as:
⟨⟩ O I O I I ⟨⟩ O O I O I I
Define a function Define a function