@hackage liquidhaskell dependencies

5 results

library:liquidhaskell (5 dependencies)

@haskell/ghc-prim

GHC primitives

@haskell/containers

Assorted concrete container types

@haskell/bytestring

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

@haskell/base

Core data structures and operations

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

@hackage/liquidhaskell-boot

Liquid Types for Haskell

BSD-3-Clause==0.9.12.2