Update Lists.lagda.md (#930)

typo
plfa · Nov 1, 2023 · 4bb6d3d · 4bb6d3d
1 parent 150b8d6
commit 4bb6d3d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/plfa/part1/Lists.lagda.md b/src/plfa/part1/Lists.lagda.md
@@ -219,7 +219,6 @@ these three properties establish that `_++_` and `[]` form
 a _monoid_ over lists.
 
 ## Length
-xb
 
 Our next function finds the length of a list:
 ```agda