@cardano typed-protocols0.1.0.3

A framework for strongly typed protocols