issues
search
flux-rs
/
flux
Refinement Types for Rust
MIT License
581
stars
17
forks
source link
Clean up conv a bit
#635
Closed
nilehmann
closed
1 month ago
nilehmann
commented
1 month ago
Remove the unit removal optimization since it is not needed anymore
General renaming and refactoring