The Comonad.Reader by Edward Kmett | Youtube
The Comonad.Reader by Edward Kmett | Youtube
96 FOLLOWERS
Edward Kmett's youtube channel for substructural logics, dependent types, type systems, comonads.
Live Coding with Edward Kmett, Episode 26
The Comonad.Reader by Edward Kmett | Youtube
by Edward Kmett
1y ago
..read more
Visit website
Haskell Live-Coding, Session 25, Guanxi Review
The Comonad.Reader by Edward Kmett | Youtube
by Edward Kmett
5y ago
..read more
Visit website

Follow The Comonad.Reader by Edward Kmett | Youtube on FeedSpot

Continue with Google
Continue with Apple
OR