8 files changed, 8 insertions, 0 deletions
diff --git a/docs/examples/parsing/lambda/test/test-01.kwi b/docs/examples/parsing/lambda/test/test-01.kwi
new file mode 100755
index 0000000000..9833d10673
--- /dev/null
+++ b/docs/examples/parsing/lambda/test/test-01.kwi
@@ -0,0 +1 @@
+let x = 23 in (\y z -> x+y+z) 1 2
diff --git a/docs/examples/parsing/lambda/test/test-02.kwi b/docs/examples/parsing/lambda/test/test-02.kwi
new file mode 100755
index 0000000000..11198c6fc9
--- /dev/null
+++ b/docs/examples/parsing/lambda/test/test-02.kwi
@@ -0,0 +1 @@
+let f = (\x y -> x*y) in f 2 3
diff --git a/docs/examples/parsing/lambda/test/test-03.kwi b/docs/examples/parsing/lambda/test/test-03.kwi
new file mode 100755
index 0000000000..d4515d7297
--- /dev/null
+++ b/docs/examples/parsing/lambda/test/test-03.kwi
@@ -0,0 +1 @@
+let f = (\x y -> x*y) in f (f 1 2) 3
diff --git a/docs/examples/parsing/lambda/test/test-04.kwi b/docs/examples/parsing/lambda/test/test-04.kwi
new file mode 100755
index 0000000000..e54c45457a
--- /dev/null
+++ b/docs/examples/parsing/lambda/test/test-04.kwi
@@ -0,0 +1 @@
+let fact = \x -> if x == 0 then 1 else x*(fact (x-1)) in unit
diff --git a/docs/examples/parsing/lambda/test/test-05.kwi b/docs/examples/parsing/lambda/test/test-05.kwi
new file mode 100755
index 0000000000..0b95d67846
--- /dev/null
+++ b/docs/examples/parsing/lambda/test/test-05.kwi
@@ -0,0 +1 @@
+let fact = \x -> if x == 0 then 1 else x*(fact (x-1)) in fact 6
diff --git a/docs/examples/parsing/lambda/test/test-06.kwi b/docs/examples/parsing/lambda/test/test-06.kwi
new file mode 100755
index 0000000000..47723dc998
--- /dev/null
+++ b/docs/examples/parsing/lambda/test/test-06.kwi
@@ -0,0 +1 @@
+2*3+4*5 == 26
diff --git a/docs/examples/parsing/lambda/test/test-07.kwi b/docs/examples/parsing/lambda/test/test-07.kwi
new file mode 100755
index 0000000000..14fba0d66a
--- /dev/null
+++ b/docs/examples/parsing/lambda/test/test-07.kwi
@@ -0,0 +1 @@
+let fix = \f -> f(fix f) in unit
diff --git a/docs/examples/parsing/lambda/test/test-08.kwi b/docs/examples/parsing/lambda/test/test-08.kwi
new file mode 100755
index 0000000000..7166d154f0
--- /dev/null
+++ b/docs/examples/parsing/lambda/test/test-08.kwi
@@ -0,0 +1 @@
+let fix = (\f -> f(fix f)) in (fix (\g n -> if n == 0 then 1 else n*(g(n-1)))) 5