1 files changed, 9 insertions, 0 deletions
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;
+}