typed-protocols:examples
A robust session type framework which supports protocol pipelining.
Modules
typed-protocols:examples-1.0.0.0
- Network
- TypedProtocol
- Network.TypedProtocol.Channel
- Driver
- PingPong
- ReqResp
- ReqResp2
- Stateful
- Trans
- TypedProtocol
A robust session type framework which supports protocol pipelining.
Modules
typed-protocols:examples-1.0.0.0