The Comonad.Reader by Edward Kmett | Youtube
96 FOLLOWERS
Edward Kmett's youtube channel for substructural logics, dependent types, type systems, comonads.
The Comonad.Reader by Edward Kmett | Youtube
1y ago
The Comonad.Reader by Edward Kmett | Youtube
5y ago