@cardano typed-protocols0.1.0.2

A framework for strongly typed protocols