The Comonad.Readertypes, (co)monads, substructural logic
Google TechTalks · Talk

Discrimination is Wrong: Improving Productivity

Edward Kmett

Watch on YouTube

Presented at ZuriHac 2015; recording published by Google TechTalks.

Discrimination is Wrong: Improving Productivity — ZuriHac 2015.

Materials