The Comonad.Readertypes, (co)monads, substructural logic

Undecidable Superclasses

Edward Kmett

Watch on YouTube · 36 minutes

Edward shows the Boston Haskell meetup group some of his GHC 8.0 toys. 2016.02.17