The latest version of liquidhaskell is 0.9.10.1-0.

lib:liquidhaskell

Modules

Dependencies

Reverse dependencies

Direct only. Not exhaustive.