monad-unify: Generic first-order unification
Versions [faq] | 0.1.0.0, 0.2.0.0, 0.2.0.1, 0.2.1, 0.2.2 |
---|---|
Dependencies | base (>=4.5 && <4.8), mtl, unordered-containers [details] |
License | MIT |
Copyright | (c) Phil Freeman 2013 |
Author | Phil Freeman |
Maintainer | Phil Freeman <paf31@cantab.net> |
Revised | Revision 1 made by AdamBergmark at 2015-06-04T08:39:35Z |
Category | Unification |
Uploaded | by PhilFreeman at 2014-04-15T06:52:57Z |
Distributions | NixOS:0.2.2 |
Downloads | 9261 total (4 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Successful builds reported [all 1 reports] |
Downloads
- monad-unify-0.2.2.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.