Hello :-)
<br>
<br>

For all further meetings, we will use a NEW link:
<br>
<br>
<a href="https://unipd.zoom.us/j/84431785656?pwd=ajEyeEhmM3Y2ZDFrTm9talh1MjBYZz09">https://unipd.zoom.us/j/84431785656?pwd=ajEyeEhmM3Y2ZDFrTm9talh1MjBYZz09</a><br>
Meeting ID: 84431785656<br>
Meeting password: 000000<br>

<br>
<br>

In case of technical problems with the Zoom link, this place will list a new Zoom link to use. Hit refresh. :-)
<br>
<br>

Looking for the transcript of our sessions?<br>
<a href="session01.agda">Session 1</a>,
<a href="session02.agda">Session 2</a>,
<a href="session03.agda">Session 3</a>,
<a href="Ex-2.agda">Session 4</a>.
<br>
<br>

<strong>First exercise sheet:</strong>
<a href="Ex-1.agda">Ex-1.agda</a>
(also available in any Agdapad session)
<br>

<strong>Second exercise sheet:</strong>
<a href="Ex-2.agda">Ex-2.agda</a>
(also available in any Agdapad session)
<br>

<strong>Third exercise sheet:</strong>
<a href="Ex-3.agda">Ex-3.agda</a>
(also available in any Agdapad session)
<br>

<strong>Fourth exercise sheet:</strong>
<a href="Ex-4.agda">Ex-4.agda</a>
(also available in any Agdapad session)
<br>

<strong>Fifth exercise sheet:</strong>
<a href="Ex-5.agda">Ex-5.agda</a>
(also available in any Agdapad session)