1.
Writing Session-Typed Ferrite Programs in Rust
2.
Getting Started
2.1.
Installation
2.2.
Hello World
2.3.
Client Communication
2.4.
Type Errors
2.5.
Session Types
3.
Main Concepts
3.1.
Protocols
3.2.
Linear Context
3.3.
Sessions
3.4.
Channel Selectors
3.5.
Running Sessions
3.6.
Hole Driven Development
4.
Ferrite Constructs
4.1.
Termination
4.2.
Forward
4.3.
Include
4.4.
Apply
4.5.
Step
4.6.
Run Session
4.7.
Receive Value
4.8.
Send Value
4.9.
Receive Channel
4.10.
Send Channel
4.11.
External Choice
4.12.
Internal Choice
4.13.
N-ary Choice
4.14.
Recursive Session Types
5.
Shared Session Types
5.1.
Shared Provider
5.2.
Run Shared Session
5.3.
Shared Client
6.
TODO
Light (default)
Rust
Coal
Navy
Ayu
Writing Session-Typed Ferrite Programs in Rust
Document not found (404)
This URL is invalid, sorry. Please use the navigation bar or search to continue.