Iowa Type Theory Commute

More on point-free programming and category theory


Listen Later

A few very basic ideas of categories and combinators.  Also, the problem of understanding very concise code.

...more
View all episodesView all episodes
Download on the App Store

Iowa Type Theory CommuteBy Aaron Stump

  • 5
  • 5
  • 5
  • 5
  • 5

5

16 ratings