From b61172d52e3d4b3d97c76d3d7f95d0f4a07a420b Mon Sep 17 00:00:00 2001
From: Devine Lu Linvega <aliceffekt@gmail.com>
Date: Mon, 15 Apr 2024 20:58:16 -0700
Subject: [PATCH] Added guarded test

---
 examples/tests.modal | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/examples/tests.modal b/examples/tests.modal
index 571ea74..9d6d20a 100644
--- a/examples/tests.modal
+++ b/examples/tests.modal
@@ -41,6 +41,12 @@ compare (abc abc abc) (#t) test
 
 replace-empty abc = ?y test
 
+?(?-) (Guards setups)
+
+<> (join (String ?x) (String ?y)) ((?x ?y) =)
+
+join (String abc) (String def) (abc def) test
+
 ?(?-) (Lambdas)
 
 ?((?x) ((?x ?x) =)) abc (abc abc) test