@hackage termination-combinators0.1

Termination combinators for forcing non-terminating algorithms to terminate

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      Max Bolingbroke <batterseapower@hotmail.com>

    • Links

    • Versions

      • 0.1 Mon, 19 Sep 2011

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