@hackage stp dependencies

5 results

library:stp (2 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause==0.5.11.0

@haskell/base

Basic libraries

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

executable:mu-test (3 dependencies)

@haskell/base

Basic libraries

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

@hackage/stp

Simple Theorem Prover

@hackage/regex-compat

Replaces/enhances "Text.Regex"

BSD-3-Clause==0.95.1