podcastdetails.com

Share

Iowa Type Theory Commute

More on Agda

Listen

Description

I talk a bit more about the Agda proof assistant.

Print Share

Want to check another podcast?

Enter the RSS feed of a podcast, and see all of their public statistics.

Made by Alex Barredo. Send your feedback to alex@barredo.es.