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

Fix Bit format

Browse source
This commit is contained in:
Vi Po 2019-10-20 22:25:39 +03:00
parent 22edd31564
commit 23ab17728d
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

@ -913,7 +913,7 @@ between the two representations.
from : Bin → ℕ
For the former, choose the bitstring to have no leading zeros if it
represents a positive natural, and represent zero by `x0 nil`.
represents a positive natural, and represent zero by `⟨⟩ O`.
Confirm that these both give the correct answer for zero through four.
```