From 618579e8759c169e24d250988b6fc5604e8ab03d Mon Sep 17 00:00:00 2001
From: Brian Hicks <brian@brianthicks.com>
Date: Mon, 19 Dec 2022 15:36:08 -0600
Subject: [PATCH] add Alloy code sample to the kitchen sink

---
 content/kitchen-sink.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/content/kitchen-sink.md b/content/kitchen-sink.md
index 16b6083..e8aa428 100644
--- 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
 
 ```