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

Combinators Revisited

Edward Kmett

Watch on YouTube

Combinators Revisited — YOW! Lambda Jam 2018, Sydney.

Materials