Libraries with various compile-time analyses for Curry
Detailed package documentation (available shortly after this version has been published)