X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fparse.js;h=ddc6199ed858030f165b76821839d05ba4f27356;hp=08ac5f047377cf2ba9b9b9ee394a834866b49f80;hb=7936567be1fea69bb7e1bb299bd3d1616b6e2dcc;hpb=3641a9827575d2eba30d316395eb3db7c45a1477

diff --git a/code/parse.js b/code/parse.js
index 08ac5f04..ddc6199e 100644
--- a/code/parse.js
+++ b/code/parse.js
@@ -140,6 +140,9 @@ var make_parse = function () {
     symbol("(");
     symbol("\\").handler = lambda_handler;
     symbol("lambda").handler = lambda_handler;
+    symbol("\u03bb").handler = lambda_handler;
+    // symbol("\u2203").handler = exists_handler;
+    // symbol("\u2200").handler = forall_handler;
     symbol(".");
 
 	function make_constants() {
@@ -303,7 +306,7 @@ var make_parse = function () {
         tokens = source.tokens();
         token_nr = 0;
         advance();
-        
+
         // let n = c in b
         // (\n. b) c
 
@@ -333,7 +336,7 @@ var make_parse = function () {
             target = t;
             advance("in");
         }
-    
+
         target.second = expression(false);
 
         advance("(end)");