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/test.mili | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 samples/test.mili

(limited to 'samples/test.mili')

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