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