@hackage liquid-base dependencies

4 results

library:liquid-base (4 dependencies)

@haskell/integer-gmp

Integer library based on GMP

BSD-3-Clause<1.0.4.0

@haskell/base

Basic libraries

BSD-3-Clause==4.15.0.0

@hackage/liquidhaskell

Liquid Types for Haskell

BSD-3-Clause>=0.8.10.1

@hackage/liquid-ghc-prim

Drop-in ghc-prim replacement for LiquidHaskell