Typed Protocols talk @ Haskell.Love 2021

• slides
• literate haskell (latex)

This talk is a based on a work in progress which is done for IOHK. See coot/typed-protocols-rewrite branch.