add Alloy code sample to the kitchen sink

bytes-zone · Dec 19, 2022 · 618579e · 618579e
1 parent ec43eac
commit 618579e
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/content/kitchen-sink.md b/content/kitchen-sink.md
@@ -91,6 +91,20 @@ pkgs.stdenv.mkDerivation {
 }
 ```
 
+## Alloy Code Sample
+
+```alloy
+sig Foo {
+  bar: one Bar,
+  baz: some Baz,
+  quux: lone Quux,
+}
+
+check SomeName {
+  all f: Foo | one b: Bar | f.bar = b
+} for 4 but 1 Foo
+```
+
 ## Generic (Overflowing) Code Sample
 
 ```