Packages to support the optimization of Curry programs
call-analysis contract-prover flatcurry-compact nonstrictunif-optimize peval peval-noshare transbooleq