aboutsummaryrefslogtreecommitdiff
path: root/examples/functional.halk
diff options
context:
space:
mode:
Diffstat (limited to 'examples/functional.halk')
-rw-r--r--examples/functional.halk13
1 files changed, 0 insertions, 13 deletions
diff --git a/examples/functional.halk b/examples/functional.halk
deleted file mode 100644
index a167b69..0000000
--- a/examples/functional.halk
+++ /dev/null
@@ -1,13 +0,0 @@
-` the Y-Combinator in HALK `
-` an empty : when not proceeded by a type is shorthand for :any `
-
-
-:Y = {
- :λ.:f = {
- :λ.:x = {
- f.x.x
- }. :λ.:x = {
- f.x.x
- }
- }
-}