The Comonad Readertypes, (co)monads, substructural logic

Turbo Haskell

All writing & talks