diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-09-22 13:23:27 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-22 13:23:27 -0400 |
| commit | 6bf1ca818a5c360d7ad81a22c40b89606e9b6f3a (patch) | |
| tree | 77167ea45ccdc596f8476f0679530416e5b5bda0 /tests/ord.urp | |
| parent | 950fc955467d28baa7557992dc73044e0826b262 (diff) | |
Basic arithmetic working with interpretation
Diffstat (limited to 'tests/ord.urp')
0 files changed, 0 insertions, 0 deletions