From 0e1c5d34ea10b0058f93c47f25b539ea03781dc7 Mon Sep 17 00:00:00 2001 From: Pedro Minicz Date: Sat, 26 Oct 2019 14:56:56 -0300 Subject: [PATCH] Fix: make capitalization consistent. --- 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 de388e4f..0b013423 100644 --- a/src/plfa/part1/Lists.lagda.md +++ b/src/plfa/part1/Lists.lagda.md @@ -1031,7 +1031,7 @@ decidable, using `_∷_` rather than `⟨_,_⟩` to combine the evidence for the head and tail of the list. -#### Exercise `any?` (stretch) +#### Exercise `Any?` (stretch) Just as `All` has analogues `all` and `All?` which determine whether a predicate holds for every element of a list, so does `Any` have