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