cflp: Constraint Functional-Logic Programming in Haskell
[ bsd3, control, library ] [ Propose Tags ]
This package provides 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.
[Skip to Readme]
- cflp-2009.2.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
For package maintainers and hackage trustees
- No Candidates