Dear students
TODAY and TOMORROW lectures on Type Theory will be online
at the zoom link posted here
https://agdapad.quasicoherent.io/~Padova/--------------------------------------------
Below if you find a message from Prof. Blechschmidt about them.
Many thanks for your cooperation!
MEM
message from prof. Blechschmidt
=====================
Dear students of Agda, as already discussed, today's Agda session and also tomorrow's take place over Zoom. Next week it will be back to normal. The Zoom link will be posted here: https://agdapad.quasicoherent.io/~Padova/ In the first two sessions, we had a first glimpse of how Agda can be used as a programming language. We will continue this tour today and tomorrow. But we will also start our first foray into using Agda as a proof language and observe how two aspects of Agda go hand in hand. We will also discuss some of the exercises. At the top of the course site there is a link to an Etherpad where you can anonymously give feedback regarding the first two sessions. If you feel like it, I invite you to shape the style of our meetings be commenting there. 😄 In particular, you can write down wishes for today's session there. Cheers, Ingo