Merge branch 'working'
authorJim <jim.pryor@nyu.edu>
Mon, 23 Mar 2015 16:35:18 +0000 (12:35 -0400)
committerJim <jim.pryor@nyu.edu>
Mon, 23 Mar 2015 16:35:18 +0000 (12:35 -0400)
commit2d74db5c5df020c5f01f530aa110651bdaf6774f
tree290ec936a965284cba9864cc84387e75adefab99
parentd2cd63fe26f3777ee6fb7a6005bf28e30c0381f0
parentdcd3ac696be98e1738d46ad6dcae4584ea76768b
Merge branch 'working'

* working:
  untyped eval: tweaks