The latest version of liquid-prelude is 0.9.2.8.2-0.
lib:liquid-prelude
Modules
- KMeansHelper
- Language.Haskell.Liquid.Bag
- Language.Haskell.Liquid.Equational
- Language.Haskell.Liquid.Foreign
- Language.Haskell.Liquid.List
- Language.Haskell.Liquid.Prelude
- Language.Haskell.Liquid.ProofCombinators
- Language.Haskell.Liquid.RTick
- Language.Haskell.Liquid.RTick.Combinators
- Language.Haskell.Liquid.String
- Language.Haskell.Liquid.Synthesize.Error
Dependencies
- bytestring lib:bytestring >=0.10.12.1 && <0.11
- containers lib:containers >=0.6.4.1 && <0.7
- liquid-base lib:liquid-base <5
- liquidhaskell lib:liquidhaskell >=0.9.0.2
Reverse dependencies
Direct only. Not exhaustive.
- liquid-platform exe:liquidhaskell