From cc8231095cdd547685a3730d98b723620418eed3 Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Wed, 24 Jan 2024 20:40:33 +0300
Subject: [PATCH] Added tests

---
 L3/t01.l3 |  7 +++++++
 L3/t02.l3 | 11 +++++++++++
 L3/t03.l3 | 10 ++++++++++
 L3/t04.l3 | 15 +++++++++++++++
 L3/t05.l3 |  7 +++++++
 L3/t06.l3 | 10 ++++++++++
 6 files changed, 60 insertions(+)
 create mode 100644 L3/t01.l3
 create mode 100644 L3/t02.l3
 create mode 100644 L3/t03.l3
 create mode 100644 L3/t04.l3
 create mode 100644 L3/t05.l3
 create mode 100644 L3/t06.l3

diff --git a/L3/t01.l3 b/L3/t01.l3
new file mode 100644
index 0000000..b3487a4
--- /dev/null
+++ b/L3/t01.l3
@@ -0,0 +1,7 @@
+let a = 1 in
+let f = { -> write (a)} in
+let a = 5 in
+f ();
+write (a)
+-- input: none
+-- output: 1 5
\ No newline at end of file
diff --git a/L3/t02.l3 b/L3/t02.l3
new file mode 100644
index 0000000..803f8cc
--- /dev/null
+++ b/L3/t02.l3
@@ -0,0 +1,11 @@
+let f = {f n ->
+   write (n);
+   if n == 0 
+   then 0
+   else f (f, n-1)
+   fi
+}
+in
+write (f (f, 5))
+-- input: none
+-- output: 5 4 3 2 1 0 0
diff --git a/L3/t03.l3 b/L3/t03.l3
new file mode 100644
index 0000000..a7897d0
--- /dev/null
+++ b/L3/t03.l3
@@ -0,0 +1,10 @@
+let fact = { f -> {n -> 
+  if n < 2 
+  then 1
+  else n * f (f)( n-1)
+  fi
+}}
+in
+write (fact (fact)(5))
+-- input: none
+-- output: 120
diff --git a/L3/t04.l3 b/L3/t04.l3
new file mode 100644
index 0000000..df0f751
--- /dev/null
+++ b/L3/t04.l3
@@ -0,0 +1,15 @@
+let z = {f ->
+  {x  -> f ({z -> x(x)(z)})} 
+  ({x -> f ({z -> x(x)(z)})})
+}
+in 
+let f = {f -> {n -> 
+  if n < 2
+  then 1
+  else n * f (n-1)
+  fi
+}}
+in 
+write (z (f) (5))
+-- input: none
+-- output: 120
\ No newline at end of file
diff --git a/L3/t05.l3 b/L3/t05.l3
new file mode 100644
index 0000000..30d0a41
--- /dev/null
+++ b/L3/t05.l3
@@ -0,0 +1,7 @@
+let f = {n -> {k -> n + k}} in
+let g = f (5) in
+write (f (5)(6));
+write (g (6));
+write (g(7))
+-- input: none
+-- output: 11 11 12
\ No newline at end of file
diff --git a/L3/t06.l3 b/L3/t06.l3
new file mode 100644
index 0000000..368aedb
--- /dev/null
+++ b/L3/t06.l3
@@ -0,0 +1,10 @@
+let f = {f n ->
+   if n < 2 
+   then 1
+   else n * f (f, n-1)
+   fi
+}
+in
+write (f (f, 5))
+-- input: none
+-- output: 120
\ No newline at end of file