search

input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.
15 stars 4 forks source link

support io-sim-1.0.0.0 #28

Closed coot closed 1 year ago

coot commented 1 year ago

Related to input-output-hk/cardano-haskell-packages#181.