Make syntax of fixpoint constraints look more like haskell version - Githubissues

flux-rs / flux

Refinement Types for Rust

MIT License

581 stars 17 forks source link

Make syntax of fixpoint constraints look more like haskell version #619

Closed nilehmann closed 5 months ago