Introduction to Agda [2/5] Channel: Edward Kmett3K views • 01/07/2011Related Videos"Super Haskell": an introduction to Agda by André MuricyIntroduction to Agda [1/5]Agda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022Introduction to Agda
![Introduction to Agda [1/5]](https://i.ytimg.com/vi/shXKb2MTkUc/hqdefault.jpg?sqp=-oaymwEnCOADEI4CSFryq4qpAxkIARUAAIhCGAHYAQHiAQoIGBACGAY4AUAB&rs=AOn4CLBUPZS3UVD0_9neptJO3u4Z3Tc-XA)
