@hackage liquid-base dependencies

4 results

library:liquid-base (4 dependencies)

@hackage/liquid-ghc-prim

Drop-in ghc-prim replacement for LH

@hackage/liquidhaskell

Liquid Types for Haskell

BSD-3-Clause>=0.8.10.7.1 && <0.9

@hackage/integer-gmp

Integer library based on GMP

BSD-3-Clause<1.0.4.0

@hackage/base

Core data structures and operations

BSD-3-Clause==4.14.3.0