/adhesion-rs

D-inspired contract programming in Rust using macros

Primary LanguageRustApache License 2.0Apache-2.0

Watchers