From: Jim <jim.pryor@nyu.edu>
Date: Mon, 23 Mar 2015 15:48:44 +0000 (-0400)
Subject: Merge branch 'working'
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=d2cd63fe26f3777ee6fb7a6005bf28e30c0381f0

Merge branch 'working'

* working:
  untyped eval: V[12]-->V[AB]
---

d2cd63fe26f3777ee6fb7a6005bf28e30c0381f0