Merge branch 'working'
authorJim <jim.pryor@nyu.edu>
Fri, 20 Mar 2015 22:46:27 +0000 (18:46 -0400)
committerJim <jim.pryor@nyu.edu>
Fri, 20 Mar 2015 22:46:27 +0000 (18:46 -0400)
commit46af41468d114dba7d89b800df78fafcabe796dc
tree37d04c9fa54594364f27c924012a7a52597488c7
parentccbd46de70489c32edbfc0841b44ba88dad94bd8
parente1626ef4172d63a6bd74cbd8ab0fe56bb8ef8775
Merge branch 'working'

* working:
  provide simplified untyped_evaluator (complete version)