This package contains a partial evaluator for Curry implemented in Curry by Elvira Albert, German Vidal (UPV), and Michael Hanus (CAU Kiel). Note that this partial evaluator is based on technical results published in 2002 and does not consider sharing. As a consequence, the partial evaluator is correct only for programs which do not contain non-deterministic operations, i.e., are confluent in the sense of classical term rewriting systems.

This partial evaluator is integrated in PAKCS as follows:

If you want to run this version stand-alone (i.e., independent from PAKCS), you can partially evaluate program .curry by the shell command

curry-pevalns <prog>