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

Update Lists.lagda.md

Browse source
This commit is contained in:
Philip Wadler 2021-08-29 10:29:46 +01:00 committed by GitHub
parent b1e9152bcc
commit 3e03d1ee03
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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

@ -990,7 +990,7 @@ You will need to use extensionality.
#### Exercise `All-∀` (practice) #### Exercise `All-∀` (practice)
Show that `All P xs` is isomorphic to `∀ {x} → x ∈ xs → P x`. Show that `All P xs` is isomorphic to `∀ x → x ∈ xs → P x`.
``` ```
-- You code goes here -- You code goes here