From 8d40127af01105082f6ab9f85d827659c5f6e223 Mon Sep 17 00:00:00 2001 From: citrusmunch Date: Thu, 24 Oct 2019 21:30:59 -0400 Subject: [PATCH] consistent variable name typo --- src/plfa/part1/Relations.lagda.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plfa/part1/Relations.lagda.md b/src/plfa/part1/Relations.lagda.md index 2d6b7591..9028fa51 100644 --- a/src/plfa/part1/Relations.lagda.md +++ b/src/plfa/part1/Relations.lagda.md @@ -773,7 +773,7 @@ if it consists of a single zero (representing zero). Show that increment preserves canonical bitstrings: - Can x + Can b ------------ Can (inc b)