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