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

(limited to 'samples/math.mili')

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