Merge pull request #426 from vipo/dev

Fix Bit format
2019-10-21 13:16:03 +01:00 · 2019-10-21 13:16:03 +01:00 · 84449daa5c
commit 84449daa5c
parent 22edd31564 23ab17728d
1 changed files with 1 additions and 1 deletions
--- a/src/plfa/part1/Naturals.lagda.md
+++ b/src/plfa/part1/Naturals.lagda.md
@ -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.

 ```