Flux: Refinement types for Rust (via eventhelix) — discussion

#plt #rust #video