@cardano typed-protocols1.2.0.0

A framework for strongly typed protocols

Categories
License
Apache-2.0
Maintainer
alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io
Links
- Documentation
- No source repository
- Security
Versions
- 1.2.0.0 Tue, 24 Mar 2026
- 1.1.0.0 Fri, 27 Mar 2026
- 1.0.0.0 Fri, 27 Mar 2026
- 0.3.0.0 Thu, 30 Jan 2025
- 0.2.0.0 Mon, 16 Sep 2024
- 0.1.1.1 Fri, 20 Sep 2024

A robust session type framework which supports protocol pipelining. Haddocks are published here