projects
/
lambda.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
(no commit message)
[lambda.git]
/
lambda_evaluator.mdwn
diff --git
a/lambda_evaluator.mdwn
b/lambda_evaluator.mdwn
index
6196127
..
ffe1c9d
100644
(file)
--- a/
lambda_evaluator.mdwn
+++ b/
lambda_evaluator.mdwn
@@
-16,9
+16,9
@@
In this toy system, `let`s should only be used at the beginning of a file. If w
((true yes) no)
the result is `yes`. Things to watch out for: the expression after the equal sign must have balanced parentheses,
((true yes) no)
the result is `yes`. Things to watch out for: the expression after the equal sign must have balanced parentheses,
-and the "in" is obligatory.
T
he system will still produce a result, but it won't make much sense.
+and the "in" is obligatory.
If you violate these rules, t
he 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.