From bbf9b0c9192f8cb3d41417849f2b7ae584f583c0 Mon Sep 17 00:00:00 2001
From: trans_soup <>
Date: Sat, 11 Nov 2023 18:37:01 +0100
Subject: [PATCH] add `id`, `omega`, and `K` to prelude.

---
 lib/prelude.mjs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/prelude.mjs b/lib/prelude.mjs
index 1e48bae..8e5f5d4 100644
--- a/lib/prelude.mjs
+++ b/lib/prelude.mjs
@@ -1,4 +1,7 @@
 export default [
 	"T = a b → a",
 	"F = a b → b",
+	"id = a → a",
+	"omega = f → f f ",
+	"K = a b → a",
 ];