Move this repo to use CHaP

input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.

15 stars 4 forks source link

Closed michaelpj closed 2 years ago

michaelpj commented 2 years ago

It has dependencies from there, so we should move it to use CHaP for released deps.

michaelpj commented 2 years ago

Actually, this is pointless, since this and typed-protocols are going to Hackage.