diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-12-06 12:01:12 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-12-06 12:01:12 -0500 |
| commit | 154fd594ccb664b07b27d63bd9ffee41801dd4d1 (patch) | |
| tree | fa56b37015b82f1075f56d9b2a041eccec47ffb1 /tests/with.ur | |
| parent | bd43499d17cec3123d5462233ea487b41e77a80f (diff) | |
Type inference
Diffstat (limited to 'tests/with.ur')
0 files changed, 0 insertions, 0 deletions