Episode 6: Aaron Stump on Cedille
From "The Type Theory Podcast"
Listen on your iPhone
Download our iOS app and listen to interviews anywhere. Enjoy all of the listener functions in one slick package. Why not give it a try?
Episode 6: Aaron Stump on Cedille
From "The Type Theory Podcast"
Download our iOS app and listen to interviews anywhere. Enjoy all of the listener functions in one slick package. Why not give it a try?
Comments
Add comment Feedback