From 4b0d75d3dbfb85e10ee70c16000c48cf0de95740 Mon Sep 17 00:00:00 2001 From: s-over-4 Date: Tue, 13 Jun 2023 21:19:09 -0400 Subject: lexer is done. forever. --- examples/functional.halk | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 examples/functional.halk (limited to 'examples') 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 - } - } -} -- cgit v1.2.3