anodized 0.3.0

An ecosystem for correct Rust based on lightweight specification annotations
Documentation