From 6f89fb02bc58a6ddcf6da59cc6f051e8fa34de76 Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Fri, 19 Apr 2024 11:10:37 -0700
Subject: [PATCH] Added postcard example

---
 examples/shirt.modal | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 examples/shirt.modal

diff --git a/examples/shirt.modal b/examples/shirt.modal
new file mode 100644
index 0000000..478b784
--- /dev/null
+++ b/examples/shirt.modal
@@ -0,0 +1,9 @@
+
+<> (what is ?x) (is ?x a (programming language))
+<> (is ?x a ?y) (or, is ?x (a virtual machine))
+<> (or, is ?x ?y) (?x is ?y <> ?y (a meta-language))
+<> ((a meta-language)) modal
+<> (?x is ?x) (?(?: ?:) ?x)
+
+what is modal
+