search

input-output-hk / typed-protocols

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

io-sim-1.3.0.0 #45

Closed coot closed 10 months ago

coot commented 10 months ago
coot commented 10 months ago

Added ghc-9.8 to GHA.

coot commented 10 months ago

Too early for ghc-9.8 we now need allow-newer: cborg:*.