Difference between revisions of "Liquid Haskell"

From HaskellWiki
Jump to: navigation, search
(initial version)
 
(link to Blog)
 
Line 5: Line 5:
   
 
* Hackage: {{HackagePackage|id=liquidhaskell}}
 
* Hackage: {{HackagePackage|id=liquidhaskell}}
* Homepage: http://goto.ucsd.edu/liquidhaskell
+
* [http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/ Blog]
  +
* [http://goto.ucsd.edu/liquidhaskell Online demo]
   
 
== See also ==
 
== See also ==

Latest revision as of 22:59, 6 December 2014

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.

See also