issues
search
input-output-hk
/
typed-protocols
Session types framework with support of protocol pipelining.
15
stars
4
forks
source link
Force use of IOG contra-tracer, bump versions for CHaP
#39
Closed
erikd
closed
1 year ago