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)
• Wed 29 May
  • Lambda (mul, mul-type)
  • Properties (mul-eval)