Skip to content
This repository

Constraint Functional-Logic Programming in Haskell

Fetching latest commit…

Octocat-spinner-32-eaf2f5

Cannot retrieve the latest commit at this time

Octocat-spinner-32 src
Octocat-spinner-32 .gitignore
Octocat-spinner-32 INSTALL
Octocat-spinner-32 LICENSE
Octocat-spinner-32 Makefile
Octocat-spinner-32 README
Octocat-spinner-32 Setup.lhs
Octocat-spinner-32 Test.lhs
Octocat-spinner-32 cflp.cabal
Octocat-spinner-32 configure
README
# Constraint Functional-Logic Programming in Haskell

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.

[cflp]: http://www-ps.informatik.uni-kiel.de/~sebf/projects/cflp.html

Sebastian Fischer, 2008
sebf@informatik.uni-kiel.de

Something went wrong with that request. Please try again.