@hackage safe-coupling dependencies

11 results

library:safe-coupling (6 dependencies)

@hackage/rest-rewrite

Rewriting library with online termination checking

BSD-3-Clause>=0.1.1 && <0.2

@hackage/probability

Probabilistic Functional Programming

BSD-3-Clause>=0.2.7 && <0.3

@hackage/liquidhaskell

Liquid Types for Haskell

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

@hackage/liquid-prelude

General utility modules for LiquidHaskell

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

@hackage/liquid-containers

Old specs for containers

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

@hackage/liquid-base

base specs for LiquidHaskell

BSD-3-Clause>=4.14.0 && <4.16

test:safe-coupling-test (5 dependencies)

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

MIT>=0.10.0 && <1.11

@hackage/tasty

Modern and extensible testing framework

MIT>=1.2.3 && <1.5

@hackage/safe-coupling

Relational proof system for probabilistic algorithms

@hackage/probability

Probabilistic Functional Programming

BSD-3-Clause>=0.2.7 && <0.3

@hackage/liquid-base

base specs for LiquidHaskell