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

The Ermine programming language

Edward Kmett

Watch on YouTube

The Ermine programming language — Boston Haskell.

Materials