Agda: Naturals – nat Channel: types-n-pl29 views • 01/11/2025Related VideosPLFA Agda: Naturals and then InductionProgramming Language Foundations in Agda: Naturals"Super Haskell": an introduction to Agda by André Muricy[TyDe'22] Computing with Generic Trees in Agda