search

input-output-hk / typed-protocols

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

Add bounds where appropriate #19

Closed michaelpj closed 1 year ago

michaelpj commented 1 year ago

At least, it would be useful to have bound on io-classes and maybe some others, and also between the packages in this repo (since in practice they likely only build with the "same" version of the other packages).

coot commented 1 year ago

Fixed in #22