Episode 2: Edwin Brady on Idris

Sep 26, 2014

Episode 2: Edwin Brady on Idris

The Type Theory Podcast

Information

Show: The Type Theory Podcast
Published: September 26, 2014
Language: EN-US
Author: The Type Theory Podcast
Categories: science natural

Discover

Find new listens