The unification-fd package
Simple generic unification algorithms.
Properties
| Versions | 0.5.0, 0.6.0, 0.7.0, 0.8.0 |
|---|---|
| Dependencies | base (≥2.0 & <3.0), logict (≥0.4), mtl (≥2.0) or base (≥3.0 & <4), containers, logict (≥0.4), mtl (≥2.0) or base (4.*), containers, logict (≥0.4), mtl (≥2.0) |
| License | BSD3 |
| Copyright | Copyright (c) 2007--2012 wren ng thornton |
| Author | wren ng thornton |
| Maintainer | wren@community.haskell.org |
| Stability | experimental |
| Category | Algebra, Algorithms, Compilers/Interpreters, Language, Logic, Unification |
| Home page | http://code.haskell.org/~wren/ |
| Source repository | darcs get http://community.haskell.org/~wren/unification-fd |
| Upload date | Mon Mar 19 07:00:47 UTC 2012 |
| Uploaded by | WrenThornton |
| Built on | ghc-7.4 |
Modules
- Control
- Data
- Functor
Downloads
- unification-fd-0.7.0.tar.gz (Cabal source package)
- package description (included in the package)