Typed Protocols

https://github.com/input-output-hk/typed-protocols

Typed Protocols is a robust session type framework written in Haskell that supports protocol...

Tokens:6,407
Snippets:35
Trust Score:9.1
License:Apache-2.0
Update:3 months ago
Tokens:
Raw