@hackage termination-combinators0.1

Termination combinators for forcing non-terminating algorithms to terminate

Categories
- Language
License
BSD-3-Clause
Maintainer
Max Bolingbroke <batterseapower@hotmail.com>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.1 Mon, 19 Sep 2011

Installation
In your cabal file:
Dependencies (3)
- base >=4 && <5
- containers >=0.4 && <0.5
- contravariant >=0.1.2 && <0.2
Dependents (1)
@hackage/acme-everything

For more information see the paper at http://www.cl.cam.ac.uk/~mb566/papers/termination-combinators-hs11.pdf