@hackage logict-state0.1.1.0
Library for logic programming based on haskell package logict
Categories
License
BSD-3-Clause
Maintainer
atzedijkstra@gmail.com
Links
Versions
Installation
Dependencies (4)
- base >=4.8 && <5
- mtl >=2.1
- transformers >=0.4.2
- logict >=0.8.0.0 Show all…
Dependents (2)
@hackage/chr-core, @hackage/uhc-util
Logic programming built on top of part of logict library, in particular for dealing with backtrackable state