---
title     : "Padova: Course notes"
layout    : page
permalink : /Padova/
---

## Staff

* **Instructor**
    [Philip Wadler](https://homepages.inf.ed.ac.uk/wadler)

* **Host**
    [Maria Emilia Maietti](https://www.math.unipd.it/~maietti/)

## Schedule

* 12.30--15.30, Wed 28 May 2019, Lecture and lab
* 12.30--15.30, Thu 29 May 2019, Lecture and lab

<table>
 <tr>
  <td><b>Wed 28 May</b></td>
  <td><a href="/Naturals/">Naturals</a>,
      <a href="/Induction/">Induction</a> &amp; <a href="/Relations/">Relations</a></td>
 </tr>
 <tr>
  <td><b>Thu 29 May</b></td>
  <td><a href="/Lambda/">Lambda</a> &amp;
      <a href="/Properties/">Properties</a></td>
 </tr>
</table>


## Assignments

For instructions on how to set up Agda for PLFA see [Getting Started](/GettingStarted/).

* Wed 28 May
   - Naturals (`_^_`)
   - Induction (`+-swap`, `*-distrib-+`)
   - Relations (`<-trans`)
* Wed 29 May
   - Lambda (`mul`, `mul-type`)
   - Properties (`mul-eval`)
