The Type Theory Podcast

The Type Theory Podcast

A podcast about type theory

Episodes

Episode 6: Aaron Stump on Cedille @

📆 2016-12-01 20:15





Episode 2: Edwin Brady on Idris @

📆 2014-09-26 09:58 / 01:32:50