A tool to verify Curry operations as non-failing
Detailed package documentation (available shortly after this version has been published)