anodized 0.4.0

An ecosystem for correct Rust based on lightweight specification annotations
Documentation