Padova: Course notes
Staff
Instructor Philip Wadler
Host Maria Emilia Maietti
Schedule
- 12.30β15.30, Wed 28 May 2019, Lecture and lab
- 12.30β15.30, Thu 29 May 2019, Lecture and lab
Wed 28 May | Naturals, Induction & Relations |
Thu 29 May | Lambda & Properties |
Assignments
For instructions on how to set up Agda for PLFA see Getting Started.
- Wed 28 May
- Naturals (
_^_
) - Induction (
+-swap
,*-distrib-+
) - Relations (
<-trans
)
- Naturals (
- Wed 29 May
- Lambda (
mul
,mul-type
) - Properties (
mul-eval
)
- Lambda (