michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix: make capitalization consistent.

Browse source
This commit is contained in:
Pedro Minicz 2019-10-26 14:56:56 -03:00
parent eb03578439
commit 0e1c5d34ea
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/plfa/part1/Lists.lagda.md
View file

@ -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