From 3331b9c14fc441f38c2578bd4abee63e3644b114 Mon Sep 17 00:00:00 2001
From: c+1
Date: Thu, 11 May 2023 15:00:29 -0400
Subject: HACK THE HALK

---
 examples/functional.halk | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 examples/functional.halk

diff --git a/examples/functional.halk b/examples/functional.halk
new file mode 100644
index 0000000..758559c
--- /dev/null
+++ b/examples/functional.halk
@@ -0,0 +1,9 @@
+[the Y combinator, implemented in HALK. Note the
+use of '=>' instead of '->', to denote a function
+whom's arguments are immutable.]
+
+let.Y => {
+   λ.f => {
+      λ.x => f.x.x;
+   }.λ.x => f.x.x;
+}
-- 
cgit v1.2.3