Agda in Padova 2025

📝 Transcripts
Session 1. Bool, ℕ, List, pattern matching, implicit parameters
Session 2. Even, Odd, equality

🎞 Recordings
Here

❤️ Recommended exercises
Location of exercises: Let's play Agda
Week 1. Up to but excluding "Termination and well-founded induction"

🌐 Links
Midlands Graduate School
Alternatives to Agda

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