PLFA Agda: Naturals and then Induction Channel: jappie live275 views • 01/07/2022Related VideosAgda Lecture 1: Introduction to Agda, dependent types and functions -- HoTTEST Summer School 2022Programming Language Foundations in Agda: NaturalsPhilip Wadler - Programming Language Foundations in Agda (HaskellX 2019 Keynote)ISRM-LOGRAC-2022-02-17 First steps with Agda
