summaryrefslogtreecommitdiff
path: root/demo/metaform1.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-22 13:23:27 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-22 13:23:27 -0400
commit6bf1ca818a5c360d7ad81a22c40b89606e9b6f3a (patch)
tree77167ea45ccdc596f8476f0679530416e5b5bda0 /demo/metaform1.urp
parent950fc955467d28baa7557992dc73044e0826b262 (diff)
Basic arithmetic working with interpretation
Diffstat (limited to 'demo/metaform1.urp')
0 files changed, 0 insertions, 0 deletions