projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
8a17989
)
(no commit message)
author
barker
<barker@web>
Tue, 21 Sep 2010 00:50:52 +0000
(20:50 -0400)
committer
Lambda Wiki
<lambda@SERVER.PHILOSOPHY.FAS.NYU.EDU>
Tue, 21 Sep 2010 00:50:52 +0000
(20:50 -0400)
lambda_evaluator.mdwn
patch
|
blob
|
history
diff --git
a/lambda_evaluator.mdwn
b/lambda_evaluator.mdwn
index
a696537
..
ffe1c9d
100644
(file)
--- a/
lambda_evaluator.mdwn
+++ b/
lambda_evaluator.mdwn
@@
-18,7
+18,7
@@
In this toy system, `let`s should only be used at the beginning of a file. If w
the result is `yes`. Things to watch out for: the expression after the equal sign must have balanced parentheses,
and the "in" is obligatory. If you violate these rules, the system will still produce a result, but it won't make much sense.
the result is `yes`. Things to watch out for: the expression after the equal sign must have balanced parentheses,
and the "in" is obligatory. If you violate these rules, the system will still produce a result, but it won't make much sense.
-*Abbreviations*
, **NOT**
: No abbreviations work. So `\xy.yxx` must be written `(\x (\y ((y x) x)))`. (As in Scheme or Racket.)
+*Abbreviations*: No abbreviations work. So `\xy.yxx` must be written `(\x (\y ((y x) x)))`. (As in Scheme or Racket.)
*Comments*: anything following a semicolon to the end of the line is ignored.
Blank lines are fine.
*Comments*: anything following a semicolon to the end of the line is ignored.
Blank lines are fine.