diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-12-30 16:11:29 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-30 16:11:29 -0500 |
| commit | 0db3fba5d2b9b5c0dbd8468a76b2ef75ebe40437 (patch) | |
| tree | e3d1b2cd22b111820c56581ec871c24bd1087856 /tests/stypes.ur | |
| parent | 60eda55ff1c5d68bb6b4d1ea49f22ccede87d22e (diff) | |
Double-bind works
Diffstat (limited to 'tests/stypes.ur')
0 files changed, 0 insertions, 0 deletions