hackage.haskell.org : cmu
The unification problem is given the problem statement t =? t', find a most general substitution s such that s(t) = s(t') modulo the axioms of a commutative monoid. Substitition s is more general than s' if there is a substitition s" such that s' = s" o s.
Registry
- JSON
- codemeta.json
purl: pkg:hackage/cmu
Keywords:
algebra
, library
, program
, Propose Tags
License: Other
Latest release: over 6 years ago
First release: over 16 years ago
Downloads: 10,774 total
Last synced: 20 days ago