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

Merge branch 'dev' of github.com:plfa/plfa.github.io into dev

Browse source
This commit is contained in:
wadler 2021-08-29 10:33:10 +01:00
commit 6ea7439507
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