liquidhaskell-boot

Liquid Types for Haskell

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

Version on this page:0.9.12.2.1@rev:1
LTS Haskell 24.58:0.9.10.1.2@rev:1
Stackage Nightly 2026-09-08:0.9.12.2.1@rev:1
Latest on Hackage:0.9.14.1.1@rev: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:db01f41e9922f5cdf9f117870313f6c81392ab4db8484494e5f387f12c970959,10477

Module documentation for 0.9.12.2.1

Used by 1 package in nightly-2026-09-08(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.