liquid-rust
liquid-rust copied to clipboard
fan-tom
Liquid Types implementation for Rust
Results
2
liquid-rust issues
Sort by
recently updated
recently updated
newest added
After learning about LiquidHaskell and finding this project, it appears to be abandoned. Can some of the refined types and their ease of use be emulated with [Prusti](https://viperproject.github.io/prusti-dev/user-guide/)? Prusti does...
A possibly useful source of reference and background info for you: a very similar facility (called "dynamic subtype predicate") has existed in Ada since the 2012 revision of the language....
