Introduction to Agda [2/5] Channel: Edward Kmett3K views • 03/07/2011Related Videos"Super Haskell": an introduction to Agda by André MuricyIntroduction to Agda, part 2 - Matthew Brecknell - BFPG 2015-04Introduction to Agda [1/5]AGDA 1.0 - Julian's Dev Environment 2/5
![Introduction to Agda [1/5]](https://i.ytimg.com/vi/shXKb2MTkUc/hqdefault.jpg?sqp=-oaymwEnCOADEI4CSFryq4qpAxkIARUAAIhCGAHYAQHiAQoIGBACGAY4AUAB&rs=AOn4CLBUPZS3UVD0_9neptJO3u4Z3Tc-XA)
