Tutorial

• Introduction
• Monday 22 Nov 15:00 - 17:30, Original Completed Video
• Tuesday 23 Nov 15:00 - 16:30, Original Completed Video
• Wednesday 24 Nov 15:00 - 17:30, Original Completed Video
• Thursday 25 Nov 15:00 - 17:30, Original Completed Video

Bibliography

• The power of Pi., Nicolas Oury and Wouter Swierstra, 2008.
• A Brief Overview of Agda - A Functional Language with Dependent Types, Ana Bove and Peter Dybjer and Ulf Norell, 2009.
• Dependently typed programming in Agda, Ulf Norell.

Resources

• Agda’s documentation
• Tutorial list