From cce3d9738ec0b94077dfc9ef34ec2827230baba1 Mon Sep 17 00:00:00 2001
From: Brummel <mould@mycelium.de>
Date: Sun, 10 May 2026 21:11:06 +0200
Subject: [PATCH] =?UTF-8?q?iter=2023.1.1:=20examples/prelude.ail.json=20?=
 =?UTF-8?q?=E2=80=94=20Ordering=20ADT=20skeleton?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 examples/prelude.ail.json | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 examples/prelude.ail.json

diff --git a/examples/prelude.ail.json b/examples/prelude.ail.json
new file mode 100644
index 0000000..a56ce9e
--- /dev/null
+++ b/examples/prelude.ail.json
@@ -0,0 +1,18 @@
+{
+  "schema": "ailang/v0",
+  "name": "prelude",
+  "imports": [],
+  "defs": [
+    {
+      "kind": "type",
+      "name": "Ordering",
+      "vars": [],
+      "doc": "Result of a three-way comparison: LT (less than), EQ (equal), GT (greater than). Ships in milestone 23 as the codomain of Ord.compare.",
+      "ctors": [
+        { "name": "LT", "fields": [] },
+        { "name": "EQ", "fields": [] },
+        { "name": "GT", "fields": [] }
+      ]
+    }
+  ]
+}