Deed
未认领The Deed programming language. Built for code that agents write and humans review.
programming-languagelanguagecapability-based-securitycompilerdesign-by-contracteffect-systeminterpreterrefinement-typesrusttype-checker
安装
$
cargo install deed-lang