unification-fd: Simple generic unification algorithms.
[ algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification ]
[ Propose Tags ]
Versions | 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 |
---|---|
Dependencies | base (>=2.0 && <5), containers, logict (>=0.4), mtl (>=2.0) [details] |
License | BSD-3-Clause |
Copyright | Copyright (c) 2007--2012 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 Mon Mar 19 07:00:47 UTC 2012 |
Distributions | LTSHaskell:0.10.0.1, NixOS:0.10.0.1, Stackage:0.10.0.1, openSUSE:0.10.0.1 |
Downloads | 3528 total (25 in the last 30 days) |
Rating | 2.0 (votes: 1) [estimated by rule of succession] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] Hackage Matrix CI |
Flags
Name | Description | Default | Type |
---|---|---|---|
base4 | base-4.0 emits "Prelude deprecated" messages in order to get people to be explicit about which version of base they use. | Enabled | Automatic |
splitbase | base-3.0 (GHC 6.8) broke out the packages: array, bytestring, containers, directory, old-locale, old-time, packedstring, pretty, process, random. | Enabled | Automatic |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- unification-fd-0.7.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)