Revert "update untyped_eval to 1.6"
authorJim <jim.pryor@nyu.edu>
Tue, 24 Mar 2015 21:52:46 +0000 (17:52 -0400)
committerJim <jim.pryor@nyu.edu>
Tue, 24 Mar 2015 21:52:46 +0000 (17:52 -0400)
commitc020d523d552a2d118e8a28688c84438c0437e35
tree890ceb2e4da9ee975eaa49bf9192c850110b623d
parentb1a9ae3f1c5cdf961f19e60fc352eb5dfea480b4
Revert "update untyped_eval to 1.6"

This reverts commit b1a9ae3f1c5cdf961f19e60fc352eb5dfea480b4.
code/untyped_evaluator.ml
code/untyped_evaluator_complete.ml
code/untyped_full-1.6.tgz [deleted file]
topics/week7_untyped_evaluator.mdwn