From 1615048a3193634322e6ff45c550b184d7fe493f Mon Sep 17 00:00:00 2001 From: Pedro Minicz Date: Mon, 21 Oct 2019 11:41:11 -0300 Subject: [PATCH] Fix: missing close backquote on inline code. --- src/plfa/part1/Lists.lagda.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plfa/part1/Lists.lagda.md b/src/plfa/part1/Lists.lagda.md index 2d01edec..de388e4f 100644 --- a/src/plfa/part1/Lists.lagda.md +++ b/src/plfa/part1/Lists.lagda.md @@ -656,7 +656,7 @@ Show foldr _∷_ [] xs ≡ xs -Show as a consequence of `foldr-++ above that +Show as a consequence of `foldr-++` above that xs ++ ys ≡ foldr _∷_ ys xs