anodized 0.2.1

An ecosystem for correct Rust based on lightweight specification annotations
Documentation