Basic reduction

3 files changed, 11 insertions, 11 deletions

diff --git a/samples/math.mili b/samples/math.mili
new file mode 100644
index 0000000..6fff8d2
--- /dev/null
+++ b/samples/math.mili
@@ -0,0 +1,3 @@
+add = [[REC (1, <0>), 0, [S 0], [[[0 2 1]]]]]
+mul = [[REC (1, <0>), <0>, (add 0), [[[0 2 1]]]]]
+add <0> <2>
diff --git a/samples/test.lil b/samples/test.lil
deleted file mode 100644
index e0ed6fd..0000000
--- a/samples/test.lil
+++ /dev/null
@@ -1,11 +0,0 @@
-foo = [
-  huh = [[[0 1 2]]]
-  huh 0
-]
-
-bar = [
-  huh = ([[[0 2 1]]] 0)
-  huh 0
-]
-
-foo bar
diff --git a/samples/test.mili b/samples/test.mili
new file mode 100644
index 0000000..d12b525
--- /dev/null
+++ b/samples/test.mili
@@ -0,0 +1,8 @@
+foo = [
+  huh = [[[0 1 2]]]
+  abc = [[huh 0 1]]
+  def = [abc 0 huh]
+  def [0 1]
+]
+
+[foo 0]