BSD-3-Clause licensed by Ranjit Jhala, Niki Vazou, Eric Seidel
Maintained by Ranjit Jhala
This version can be pinned in stack with:liquidhaskell-boot-0.9.12.2@sha256:46e6a3d6c46b29d3c110184b67a4e2cb7da30a28f944fe1bcd01a7c926f0dc57,10484

Module documentation for 0.9.12.2

This package provides a plugin to verify Haskell programs. But most likely you should be using the liquidhaskell package instead, which rexports this plugin together with necessary specifications for definitions in the boot libraries.