@hackage / typed-session

typed session framework

Latest0.3.0.1

About

Metadata

  • Last updated , by sdzx
  • License MIT
  • Categories Network Development

  • Maintained by: shangdizhixia1993@163.com

  • Lottery factor: 1

Links

Installation

Readme

Typed session are used to ensure desirable properties in concurrent and distributed systems, i.e. absence of communication errors or deadlocks, and protocol conformance.