Libraries to support the checking of Curry source code
Detailed package documentation (available shortly after this version has been published)