Curry Package easycheck

Libraries for automated, property-based testing of Curry programs

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

---