@hackage / ds-kanren

A subset of the miniKanren language

Latest0.2.0.1

Dependencies

library:ds-kanren (3 dependencies)

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4
- License: BSD-3-Clause
@hackage / logict A backtracking logic-programming monad.
- Version:
- License: BSD-3-Clause

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

@hackage / base Core data structures and operations
- Version: >=4 && <5
- License: BSD-3-Clause
@hackage / ds-kanren A subset of the miniKanren language
- Version:
- License: MIT
@hackage / tasty Modern and extensible testing framework
- Version:
- License: MIT
@hackage / tasty-quickcheck QuickCheck support for the Tasty test framework.
- Version:
- License: MIT
@hackage / QuickCheck Automatic testing of Haskell programs
- Version:
- License: BSD-3-Clause

test:test-unify: (5 dependencies)