@cardano typed-protocols0.3.0.0

A framework for strongly typed protocols