diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-02-17 14:49:28 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-02-17 14:49:28 -0500 |
commit | 3c534cfde2dea5384113b891362bbfc1ee6b98fe (patch) | |
tree | 22617c1ba004461a1162b9349d44e94b8b65f507 /tests/sql_ops.ur | |
parent | 4f0987ddef3dc105c3883aa9c1c69c29fbe86a8a (diff) |
Start of Featherweight Ur semantics
Diffstat (limited to 'tests/sql_ops.ur')
0 files changed, 0 insertions, 0 deletions