anodized 0.1.0

An ecosystem for correct Rust based on lightweight contract annotations.
Documentation