From 1484ed78971e1c6bdc0fa7995ef659bab0df027c Mon Sep 17 00:00:00 2001
From: Omar Rizwan <omar@omar.website>
Date: Sun, 13 Aug 2023 12:06:47 -0400
Subject: Region helper

---
 virtual-programs/regions.folk | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'virtual-programs')

diff --git a/virtual-programs/regions.folk b/virtual-programs/regions.folk
index 5de19b98..945fcd20 100644
--- a/virtual-programs/regions.folk
+++ b/virtual-programs/regions.folk
@@ -1,3 +1,8 @@
 When when the distance between /p1/ and /p2/ is /distanceVar/ /body/ with environment /e/ & /p1/ has region /r1/ & /p2/ has region /r2/ {
     Claim the distance between $p1 and $p2 is [region distance $r1 $r2]
 }
+
+When /someone/ wishes region /r/ is /verbed/ /x/ {
+  Claim $r has region $r
+  Wish $r is $verbed $x
+}
-- 
cgit v1.2.3