search

input-output-hk / typed-protocols

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

Publish a version of typed-protocols to CHaP that is compatible with the newly released io-sim packages #17

Closed michaelpj closed 2 years ago

coot commented 2 years ago

on the way: input-output-hk/cardano-haskell-packages#74