My Type Theory for All Podcast Interview
I was interviewed for the Type Theory for All podcast.
The Value of PL (and) Education