From 4a6378aa868e9c1d49fc5ad1576616933c913004 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 14 Nov 2024 16:54:14 +0100
Subject: Basic reduction

---
 samples/math.mili |  3 +++
 samples/test.lil  | 11 -----------
 samples/test.mili |  8 ++++++++
 3 files changed, 11 insertions(+), 11 deletions(-)
 create mode 100644 samples/math.mili
 delete mode 100644 samples/test.lil
 create mode 100644 samples/test.mili

(limited to 'samples')

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]
-- 
cgit v1.2.3