liquidhaskell-boot

Liquid Types for Haskell

https://github.com/ucsd-progsys/liquidhaskell

LTS Haskell 24.28:0.9.10.1.2@rev:1
Stackage Nightly 2026-01-15:0.9.12.2.1
Latest on Hackage:0.9.12.2.1

See all snapshots liquidhaskell-boot appears in

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.1@sha256:4d5eba2bb7fead5255baa073219fd24215c11a198a7f41d88e36db2946b51d4c,10251

Module documentation for 0.9.12.2.1

Used by 1 package in nightly-2026-01-15(full list with versions):
liquidhaskell

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.