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

Homotopy and Directed Type Theory Slides

Original post and discussion · Download Markdown