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
![[TyDe'22] Computing with Generic Trees in Agda](https://i.ytimg.com/vi/nt6j9yfH3dg/hq720.jpg?sqp=-oaymwEnCNAFEJQDSFryq4qpAxkIARUAAIhCGAHYAQHiAQoIGBACGAY4AUAB&rs=AOn4CLBG9eFM0m1G4Di0lI2Lhc6ecyCzAA)