ICurry.Files
ICurry.Pretty
ICurry.Types
ICurry.Compiler
ICurry.Interpreter
Intermediate format for compiling Curry to imperative languages
Detailed package documentation (available shortly after this version has been published)