From 02ff39d0ab6488fa8cedb31030130b352e10b3e2 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 27 Nov 2024 16:18:16 +0100
Subject: Initial typing

---
 samples/logic.mili | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 samples/logic.mili

(limited to 'samples')

diff --git a/samples/logic.mili b/samples/logic.mili
new file mode 100644
index 0000000..ce6470c
--- /dev/null
+++ b/samples/logic.mili
@@ -0,0 +1,14 @@
+-- garbage collection hack
+gc = [0 [0] [0] [0]]
+
+true = [[[0 2 1]]]
+false = [[[0 1 2]]]
+
+not = [[[2 0 1]]]
+
+and = [[1 0 false [[gc 0 1]]]]
+nand = [[not (and 1 0)]]
+or = [[1 true 0 [[gc 0 1]]]]
+nor = [[not (or 1 0)]]
+
+([0] <0>)
-- 
cgit v1.2.3