This package contains the base libraries which are directly distributed with Curry systems like PAKCS, KiCS2, or Curry2Go.
Detailed package documentation (available shortly after this version has been published)