projects / lambda.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | compact (merge: 6cd98a3 fd72a94)
Merge branch 'working'
authorJim <jim.pryor@nyu.edu>
Mon, 23 Mar 2015 15:48:44 +0000 (11:48 -0400)
committerJim <jim.pryor@nyu.edu>
Mon, 23 Mar 2015 15:48:44 +0000 (11:48 -0400)
* working:
  untyped eval: V[12]-->V[AB]


Trivial merge
NYU Lambda Wiki v2