README.md

rust_effects — algebraic effects with handlers and MLTT type theory for Rust.

Provides a freer-monad effect system with FTCQueue (Kiselyov & Ishii 2015), dependent types, graded linear types, with an MLTT type-checking kernel.

A Rust port of nix-effects, see docs.kleisli.io for theory documentation and general API usage.