@cardano typed-protocols1.1.0.1

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.1.0 Wed, 15 Apr 2026
- 1.2.0.0 Tue, 24 Mar 2026
- 1.1.0.1 Mon, 30 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

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