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
-      }
-   }
-}