Packages to support various programming tasks when developing
Curry programs
abstract-haskell addtypes allvalues base benchmark-papers contracts cpc cpm curry-repl currypp dsdcurry extra failfree global global-variables inversion makefile ninja pflp plural-arguments ports property-prover random runcurry searchtree searchtree-extra searchtree-unsafe setfunction-synthesis setfunctions showflatcurry sourceproggui verify-non-fail