@hackage ds-kanren dependencies

13 results

library:ds-kanren (3 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.4

@haskell/base

Core data structures and operations

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

@hackage/logict

A backtracking logic-programming monad.

test:test-list-ops: (5 dependencies)

@haskell/base

Core data structures and operations

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

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

@hackage/tasty

Modern and extensible testing framework

@hackage/ds-kanren

A subset of the miniKanren language

@hackage/QuickCheck

Automatic testing of Haskell programs

test:test-unify: (5 dependencies)

@haskell/base

Core data structures and operations

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

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

@hackage/tasty

Modern and extensible testing framework

@hackage/ds-kanren

A subset of the miniKanren language

@hackage/QuickCheck

Automatic testing of Haskell programs