@hackage / unification-fd

Simple generic unification algorithms.

Latest0.12.0.3

Dependencies

library:unification-fd (5 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.12 && <4.23
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.2 && <2.4
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6.0 && <0.9
- License: BSD-3-Clause
@hackage / data-fix Fixpoint data types
- Version: >=0.3.2 && <0.4
- License: BSD-3-Clause
@hackage / logict A backtracking logic-programming monad.
- Version: >=0.4 && <0.8.3
- License: BSD-3-Clause