I haven't had the chance to watch the two videos yet, but at BFPG (2015-03), Matthew Brecknell did an "Introduction to Agda" talk that might also be interestin

I haven't had the chance to watch the two videos yet, but at BFPG (2015-03), Matthew Brecknell did an "Introduction to Agda" talk that might also be interesting to some. https://www.youtube.com/watch?v=QyUVONbwHYE https://www.youtube.com/watch?v=QyUVONbwHYE https://www.youtube.com/watch?v=7iAkFh9xOIc https://www.youtube.com/watch?v=7iAkFh9xOIc