Curry Package curry-source

Libraries to support the checking of Curry source code

Detailed package documentation (available shortly after this version has been published)

---