unification-fd: Simple generic unification algorithms.

[ algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification ] [ Propose Tags ]

Simple generic unification algorithms.

Flags

Automatic Flags
NameDescriptionDefault
base4

base-4.0 emits "Prelude deprecated" messages in order to get people to be explicit about which version of base they use.

Enabled
splitbase

base-3.0 (GHC 6.8) broke out the packages: array, bytestring, containers, directory, old-locale, old-time, packedstring, pretty, process, random.

Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.5.0, 0.6.0, 0.7.0, 0.8.0, 0.8.1, 0.9.0, 0.10.0, 0.10.0.1, 0.11.0, 0.11.1, 0.11.2
Dependencies base (>=2.0 && <5), containers, logict (>=0.4), mtl (>=2.0) [details]
License BSD-3-Clause
Copyright Copyright (c) 2007--2011 wren ng thornton
Author wren ng thornton
Maintainer wren@community.haskell.org
Category Algebra, Algorithms, Compilers/Interpreters, Language, Logic, Unification
Home page http://code.haskell.org/~wren/
Source repo head: darcs get http://community.haskell.org/~wren/unification-fd
Uploaded by WrenThornton at 2011-07-12T10:15:30Z
Distributions LTSHaskell:0.11.2, NixOS:0.11.2, Stackage:0.11.2
Downloads 9349 total (85 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]