Publish typed-protocols packages on Hackage - Githubissues

input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.

15 stars 4 forks source link

Publish typed-protocols packages on Hackage #12

Open coot opened 1 year ago

coot commented 1 year ago

This includes the following 5 packages:

typed-protocols
typed-protocols-cborg
typed-protocols-stateful
typed-protocols-cborg-stateful
typed-protocols-examples