REPL.Compiler
REPL.Main
A universal REPL which can be used on top of a Curry compiler
Detailed package documentation (available shortly after this version has been published)