@hackage unification-fd0.12.0

Simple generic unification algorithms.

Installation
In your cabal file:
Tested Compilers
Dependencies (5)
- base >=4.12 && <4.21
- containers >=0.6.0 && <0.8
- mtl >=2.2.2 && <2.4
- data-fix >=0.3.2 && <0.4
- logict >=0.4 && <0.8.2
Dependents (4)
@hackage/llvm-data-interop, @hackage/swarm, @hackage/acme-everything, @hackage/autoapply

Generic functions for single-sorted first-order structural unification (think of programming in Prolog, or of the metavariables in type inference).