diff options
author | Ziv Scully <ziv@mit.edu> | 2015-07-20 23:25:44 -0700 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-07-20 23:25:44 -0700 |
commit | 4ff7cf9503b917dcc8db1de3ba03b513240f7dc8 (patch) | |
tree | 21db757c04d6064aee147c73a73f624753871ac1 /src/sql.sml | |
parent | 0cfbe4639f076d50f2a3bbc9e6f566a452a43167 (diff) |
Use uniform representation of comparisons for better simplification.
Diffstat (limited to 'src/sql.sml')
0 files changed, 0 insertions, 0 deletions