@cardano / typed-protocols

A framework for strongly typed protocols

Latest1.2.1.0

Metadata

Last updated 15 Apr 2026
License Apache-2.0
Maintained by: alex@well-typed.com, duncan@well-typed.com, marcin.szamotulski@iohk.io

Links

Documentation
No source repository

Installation

Add this line in your cabal file

Readme

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