@hackage liquid-platform dependencies

8 results

executable:liquidhaskell (8 dependencies)

@hackage/liquidhaskell

Liquid Types for Haskell

BSD-3-Clause>=0.9.2.8

@hackage/liquidhaskell-boot

Liquid Types for Haskell

BSD-3-Clause>=0.9.2.8

@hackage/base

Core data structures and operations

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

@hackage/filepath

Library for manipulating FilePaths in a cross platform way.

@hackage/liquid-vector

LiquidHaskell specs for the vector package

BSD-3-Clause>=0.13.1.0

@hackage/containers

Assorted concrete container types

BSD-3-Clause>=0.6.4.1 && <0.7

@hackage/liquid-prelude

General utility modules for LiquidHaskell

BSD-3-Clause>=0.9.2.8

@hackage/process

Process libraries

BSD-3-Clause>=1.6.0.0 && <1.7