@cardano / typed-protocols-stateful

A framework for strongly typed protocols