The latest version of cflp is 2009.2.1-0.
cflp
Version 2009.1.24 revision 0 uploaded by SebastianFischer.
Package meta
- Synopsis
- Constraint Functional-Logic Programming in Haskell
- Description
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.
- Author
- Sebastian Fischer
- Bug reports
- mailto:sebf@informatik.uni-kiel.de
- Category
- Control
- Copyright
- n/a
- Homepage
- http://www-ps.informatik.uni-kiel.de/~sebf/projects/cflp.html
- Maintainer
- sebf@informatik.uni-kiel.de
- Package URL
- n/a
- Stability
- alpha