Curry Package frontend-exec

Operations to execute the front end of the Curry system

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

---