Agda in Padova 2025

📝 Transcripts
Session 1. Bool, ℕ, List, pattern matching, implicit parameters
Session 2. Even, Odd, equality
Session 3. Equational reasoning
Session 4. Logical connectives

🎞 Recordings
Here

❤️ Recommended exercises
Location of exercises: Let's play Agda
Week 1. Up to but excluding "Logical connectives"
Week 2. Up to and including "Well-founded recursion"

🌐 Links
Midlands Graduate School
Alternatives to Agda

💬 Contact
+49 176 95110311 (Signal, Telegram, SMS)