typed-protocols:examples

typed-protocols:examples

A robust session type framework which supports protocol pipelining.

Modules