fix on precise-lambda

StarGazerM · May 28, 2020 · 64d38e9 · 64d38e9
1 parent fbcdb96
commit 64d38e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lambda/lambda-precise.slog b/lambda/lambda-precise.slog
@@ -1,4 +1,4 @@
-;; lambda calculus by need
+;; lambda calculus in call by value
 
 
 (do-eval (app (lambda (arg "x") (app (var "x") (var "x")))