flux-rs / flux

Refinement Types for Rust
MIT License
663 stars 21 forks source link

Implement name resolution under blocks #768

Closed nilehmann closed 3 months ago