D-inspired contract programming in Rust using macros
Primary LanguageRustApache License 2.0Apache-2.0