The cflp package

[Tags: bsd3, library]

This package provides combinators for constraint functional-logic programming ((C)FLP) in Haskell. The combinators can 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.


Properties

Versions0.0.2, 0.0.2.1, 0.1, 0.2.0, 0.2.1, 0.2.2, 0.2.5, 2009.1.6, 2009.1.13, 2009.1.15, 2009.1.15.1, 2009.1.15.2, 2009.1.16, 2009.1.19, 2009.1.23, 2009.1.23.1, 2009.1.23.2, 2009.1.24, 2009.1.26, 2009.1.28, 2009.2.1
Dependenciesbase, ghc, HUnit, mtl, syb
LicenseBSD3
AuthorSebastian Fischer
Maintainersebf@informatik.uni-kiel.de
Stabilityalpha
CategoryControl
Home pagehttp://www-ps.informatik.uni-kiel.de/~sebf/projects/cflp.html
Source repositoryhead: git clone git://github.com/sebfisch/cflp.git
Upload dateTue Dec 9 15:17:44 UTC 2008
Uploaded bySebastianFischer
Downloads1298 total (103 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees