@cardano typed-protocols0.1.0.0

A framework for strongly typed protocols