Introduction to Agda, part 2 - Matthew Brecknell - BFPG 2015-04
Channel: Brisbane Functional Programming Group
Date: 17/04/2015

Matt takes us through his final instalment of introducing us to dependent types in Agda.

Part one is here: https://www.youtube.com/watch?v=QyUVONbwHYE