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

Merge pull request #587 from plfa/wadler-patch-2

Browse source 
Update Lists.lagda.md
This commit is contained in:
Philip Wadler 2021-08-29 10:30:47 +01:00 committed by GitHub
commit 70825b81c0
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)
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