In this episode I talk a bit about the Agda proof assistant.
See All 179 Episodes of "Iowa Type Theory Commute"