I talk a bit more about the Agda proof assistant.

See All 179 Episodes of "Iowa Type Theory Commute"