This repository has been archived by the owner on Oct 8, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 42
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
updated log and docs; built new binary files; removed code that is no…
… longer used
- Loading branch information
Showing
17 changed files
with
182 additions
and
271 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,7 @@ | ||
Acknowledgements | ||
|
||
The development of this software has been supported by Indiana University, | ||
Cadence Research Systems, and a gift from Microsoft Research. Jordon | ||
Johnson implemented an early version of the infrastructure. The "cata" | ||
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. | ||
Hilsdale's match.ss, an early version of which was written by Dan Friedman. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.