X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fparse.js;h=9712809b40c5d7d608b48543eb4c5270cc4e6712;hp=ddc6199ed858030f165b76821839d05ba4f27356;hb=8cd2e41084d42df6db49d6ea9e3183c709a54837;hpb=bc0708caa18ac5d16a57a95a1387c8b7ab855eeb

diff --git a/code/parse.js b/code/parse.js
index ddc6199e..9712809b 100644
--- a/code/parse.js
+++ b/code/parse.js
@@ -212,12 +212,14 @@ var make_parse = function () {
 		constant("B", make_lam3(u, v, x, make_app(uu, make_app(vv, xx))));
 		constant("C", make_lam3(u, v, x, make_app3(uu, xx, vv)));
 
-		// trush \uv.vu = CI
+		// trush \uv.vu = CI = box
 		constant("T", make_lam2(u, v, make_app(vv, uu)));
-		// mockingbird \u.uu = SII
-		constant("M", make_lam(u, make_app(uu, uu)));
+		// vireo \uvw.wuv = pair
+		constant("V", make_lam3(u, v, x, make_app3(xx, uu, vv)));
 		// warbler \uv.uvv = C(BM(BBT) = C(BS(C(BBI)I))I
 		constant("W", make_lam2(u, v, make_app3(uu, vv, vv)));
+		// mockingbird \u.uu = SII = omega
+		constant("M", make_lam(u, make_app(uu, uu)));
 		// lark \uv.u(vv) = CBM = BWB
 		constant("L", make_lam2(u, v, make_app(uu, make_app(vv, vv))));
 		// Y is SLL