dev-haskell/unification-fd
Simple generic unification algorithms
Runtime Dependencies
unification-fd-0.12.0.2
>=dev-haskell/data-fix-0.3.2:=[profile?
]
<dev-haskell/data-fix-0.4:=[profile?
]
>=dev-haskell/logict-0.4:=[profile?
]
<dev-haskell/logict-0.8.3:=[profile?
]
>=dev-lang/ghc-9.0.2:=
dev-lang/ghc:=[profile?
]