aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorc+12023-05-11 15:00:29 -0400
committerc+12023-05-11 15:00:29 -0400
commit3331b9c14fc441f38c2578bd4abee63e3644b114 (patch)
treee21692edc8c00d83797a465eeea3b4c66d95de5f
parent5d17d0206593a2c1f9b702991abf42a8848a2d7f (diff)
HACK THE HALK
-rw-r--r--examples/functional.halk9
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;
+}