Initial commit

data/penrose/set.domain

@@ -0,0 +1,3 @@
+type Set
+
+predicate SubSet(Set s1, Set s2)

data/penrose/set.style

@@ -0,0 +1,17 @@
+canvas {
+    width = 100
+    height = 100
+}
+
+forall Set A; Set B
+where SubSet(A, B) {
+    ensure contains(A.icon, B.icon, 5.0)
+    A.icon above B.icon
+}
+
+forall Set x {
+    x.icon = Circle {
+        strokeWidth : 0.0
+    }
+    ensure x.icon.r > 25
+}