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.
denful/rust-effects
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
