A partial evaluator for Curry (without sharing)
Detailed package documentation (available shortly after this version has been published)