You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.

8 lines
400 B
Plaintext

Acknowledgements
The development of this software has been supported by Indiana University,
Cadence Research Systems, Cisco Systems, and a gift from Microsoft Research.
Jordon Johnson implemented an early version of the infrastructure. The "cata"
syntax and quasiquote extension to handle ellipses is patterned after Erik
Hilsdale's match.ss, an early version of which was written by Dan Friedman.