projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Added assignmemnt 6
[lambda.git]
/
code
/
parse.js
diff --git
a/code/parse.js
b/code/parse.js
index
08ac5f0
..
5cdeb40
100644
(file)
--- 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("(");
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() {
symbol(".");
function make_constants() {