`unification-fd`

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

Ecosystem
hackage.haskell.org

Latest Release
0.12.0
over 1 year ago

Versions
16

Downloads
11,224 total

Dependent Packages
2

Dependent Repos
34

autoapply 0.4.1

See readme.md
7 versions - Latest release: over 5 years ago - 2 dependent repositories - 2.39 thousand downloads total - 2 stars on GitHub - 2 maintainers

Past Dependents

Include Past Dependents

Check this option to include packages that no longer depend on this package in their latest version but previously did.

Filter

Filter by Kind

All kinds runtime 1

Links

Registry	hackage.haskell.org
Homepage	Homepage
JSON API	View JSON
CodeMeta	codemeta.json

Package Details

PURL	`pkg:hackage/unification-fd` spec
License	BSD-3-Clause
First Release	over 14 years ago
Last Synced	11 days ago

Keywords
algebra algorithms bsd3 compilers-interpreters language library logic unification Propose Tags

Rankings on hackage.haskell.org

Dependent packages Top 7.2%

Dependent repos Top 9.0%

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Packages