http://hg.impredicative.com/urweb/atom-log/tip/tests/jscomp.ursUr/Web: tests/jscomp.urs history2009-09-22T13:23:27-04:00Basic arithmetic working with interpretationhttp://hg.impredicative.com/urweb/#changeset-c22e524a6dd37da71ff240adea17c187badc5153Adam Chlipalaadamc@hcoop.net2009-09-22T13:23:27-04:002009-09-22T13:23:27-04:00