search

input-output-hk / typed-protocols

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

Bump io-classes version #50

Closed bolt12 closed 2 months ago

bolt12 commented 5 months ago

CHAP typed-protocols revision: https://github.com/IntersectMBO/cardano-haskell-packages/pull/767

crocodile-dentist commented 5 months ago

I've reviewed this and it looks good to me, but I guess @coot should have a final word.

coot commented 2 months ago

Subsumed by #53, except for the formatting fixes.