Media Summary: This video is an overview of the famous isomorphism between mathematical proofs, computer programs and category theory. In contrast to most of my videos this one is rather motivation than educational. Let's play with functions without any purpose or ... Dan Kirk has put together a series of videos that have over 50 3 ball
Data Juggling Part 5 Curry - Detailed Analysis & Overview
This video is an overview of the famous isomorphism between mathematical proofs, computer programs and category theory. In contrast to most of my videos this one is rather motivation than educational. Let's play with functions without any purpose or ... Dan Kirk has put together a series of videos that have over 50 3 ball Thanks to Henry Benton and Madelyn Dinnerstein for filming and getting the footage to me! It was a very tiring competition! Filmed ...