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

revised exercise More

Browse source
This commit is contained in:
wadler 2019-10-25 11:14:02 +01:00
parent 59796a6214
commit a5960b6547
1 changed files with 9 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
src/plfa/part2/More.lagda.md
View file

@ -1199,7 +1199,7 @@ _ =
∎
```
#### Exercise `More` (practice)
#### Exercise `More` (recommended and practice)
Formalise the remaining constructs defined in this chapter.
Make your changes in this file.
@ -1207,10 +1207,15 @@ Evaluate each example, applied to data as needed,
to confirm it returns the expected answer:
* sums (recommended)
* unit type
* an alternative formulation of unit type
* unit type (practice)
* an alternative formulation of unit type (practice)
* empty type (recommended)
* lists
* lists (practice)
Please delimit any code you add as follows:
-- begin
-- end
#### Exercise `double-subst` (stretch)