tweak arith1.ml
authorJim <jim.pryor@nyu.edu>
Mon, 6 Apr 2015 14:02:26 +0000 (10:02 -0400)
committerJim <jim.pryor@nyu.edu>
Mon, 6 Apr 2015 14:02:26 +0000 (10:02 -0400)
commit99c85f69ab3e3db49a2cb404c9fe4020e362856e
tree463296fba81ce9543e4f1ff5a7ab705d1abbf20c
parent34bdd67906c7529660a35340f2eb5740d6beb3b3
tweak arith1.ml
code/arith1.ml