Agda: Naturals – nat Channel: types-n-pl29 views • 8mo agoRelated VideosProgramming Language Foundations in Agda: Naturals"Super Haskell": an introduction to Agda by André MuricyProgramming in Agda - Lecture 1 - Ulf Norell
