LiquidHaskell (LH) refines Haskell's types with logical predicates that let you enforce important properties at compile time. See the blog for examples.

Quick Start

Read the below for more details on how to:


The following links are a quick way to play with and learn about LH:

If the above whets your appetite, you may enjoy working through the following longer tutorials:

Get involved

If you are interested to contribute to LH and its ecosystem, you may want to: