Liquid Haskell
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Liquid Haskell allows to annotate code with invariants
that complement the invariants imposed by the types.
These invariants are checked with an SMT solver.
Such invariants may be non-negative numbers, sorted lists, matching lengths of lists, membership of certain elements in a Set
or Map
.
- Hackage: liquidhaskell
- Blog
- Online demo