Update typed-protocols to build with ghc-9.6

input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.

15 stars 4 forks source link

Closed erikd closed 1 year ago

erikd commented 1 year ago

[x] Make it build. [x] Add it to CI. [x] Upload to CHaP

erikd commented 1 year ago

~Still waiting to be given write access (so I can push a PR branch).~ Branch pushed.

erikd commented 1 year ago

CI done.

erikd commented 1 year ago

Complete.