Curry Package regexp

This package contains a library which specifies the semantics of regular expressions and regular expression matching in a high-level manner via non-deterministic operations. This library might be useful as an oracle to test more efficient regular expression matchers.

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

---