diff options
| author | s-over-4 | 2023-06-13 21:19:09 -0400 |
|---|---|---|
| committer | s-over-4 | 2023-06-13 21:19:09 -0400 |
| commit | 4b0d75d3dbfb85e10ee70c16000c48cf0de95740 (patch) | |
| tree | 03b1a199f8658b0fde7283bdccf698455f2df44c /examples | |
| parent | 11fbe0ec9b8bf51d237fefee9254e68d3b22259b (diff) | |
lexer is done. forever.
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/functional.halk | 13 |
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 - } - } -} |