diff options
Diffstat (limited to 'examples/functional.halk')
-rw-r--r-- | examples/functional.halk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/functional.halk b/examples/functional.halk index e22fab5..a167b69 100644 --- a/examples/functional.halk +++ b/examples/functional.halk @@ -1,5 +1,5 @@ ` the Y-Combinator in HALK ` -` an empty : when not proceeded by a type is shorthand for any: ` +` an empty : when not proceeded by a type is shorthand for :any ` :Y = { |