Constraint Functional-Logic Programming in Haskell http://www-ps.informatik.uni-kiel.de/~sebf/projects/cflp.html
|Latest on Hackage:||2009.2.1|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
The `cflp` package provides a module `Control.CFLP` with combinators
for constraint functional-logic programming ((C)FLP) in Haskell. The
combinators might later be used as a target language for compiling
programs written in an FLP language like Curry or Toy. Another
application of FLP is demand driven test-case generation.
Consult the LICENSE file for copyright issues, the INSTALL file for
installation instructions, or the [project website][cflp] for
background information on this package.