@hackage liquidhaskell dependencies

6 results

library:liquidhaskell (6 dependencies)

@haskell/ghc-prim

GHC primitives

@haskell/ghc-bignum

GHC BigNum library

@haskell/containers

Assorted concrete container types

BSD-3-Clause==0.6.8

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause==0.12.0.2

@haskell/base

Basic libraries

BSD-3-Clause>=4.11.1.0 && <5

@hackage/liquidhaskell-boot

Liquid Types for Haskell

BSD-3-Clause==0.9.8.1