Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

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
    Loading...
    Readme
    Loading...
    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 10 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%