test normal order evaluation

1 files changed, 5 insertions, 0 deletions

diff --git a/test/examples/untyped-lambda-calculus.scm b/test/examples/untyped-lambda-calculus.scm
index 1752e7d..534d6e6 100644
--- a/test/examples/untyped-lambda-calculus.scm
+++ b/test/examples/untyped-lambda-calculus.scm
@@ -150,6 +150,11 @@
                     (define true (λ (x y) x))
                     (define false (λ (x y) y))
                     (false false true))
+                   (#f #f (lambda (lambda 1))))
+  (test-eval-alpha "normal order evaluation"
+                   ((define ω (lambda x (x x)))
+                    (define K (lambda x (lambda y x)))
+                    (K K (ω ω)))
                    (#f #f (lambda (lambda 1)))))
 
 (define (test-untyped-lambda-calculus)