aboutsummaryrefslogtreecommitdiff
path: root/samples/test.mili
diff options
context:
space:
mode:
authorMarvin Borner2024-11-14 16:54:14 +0100
committerMarvin Borner2024-11-14 16:59:59 +0100
commit4a6378aa868e9c1d49fc5ad1576616933c913004 (patch)
treefb42733e3f774a9716a14b4332d96b503dab769a /samples/test.mili
parentd7bbded8b0aa3086692b2363076be48c2fbb5a33 (diff)
Basic reduction
Diffstat (limited to 'samples/test.mili')
-rw-r--r--samples/test.mili8
1 files changed, 8 insertions, 0 deletions
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]