Refinement in Rust: optimization, arithmetic, and stateful predicates (by jkaye) — discussion
#rust #show
