The termination-combinators package
For more information see the paper at http:www.cl.cam.ac.uk~mb566papers/termination-combinators-hs11.pdf
Properties
| Version | 0.1 |
|---|---|
| Dependencies | base (4.*), containers (0.4.*), contravariant (≥0.1.2 & <0.2) |
| License | BSD3 |
| Author | Max Bolingbroke |
| Maintainer | Max Bolingbroke <batterseapower@hotmail.com> |
| Category | Language |
| Home page | http://www.github.com/batterseapower/termination-combinators |
| Upload date | Mon Sep 19 04:32:36 UTC 2011 |
| Uploaded by | MaxBolingbroke |
| Built on | ghc-7.2 |
Modules
- Control
Downloads
- termination-combinators-0.1.tar.gz (Cabal source package)
- package description (included in the package)