diff options
| author | s-over-4 | 2023-06-05 13:19:49 -0400 |
|---|---|---|
| committer | s-over-4 | 2023-06-05 13:19:49 -0400 |
| commit | abae0069eb6d657aec6d66b9801b937c159e0dc8 (patch) | |
| tree | 4e7e2712d05cb1e612ff433937b6f5bf596cdd49 /examples/functional.halk | |
| parent | 8b008c1c2773ac80df36f7a49dcb9c2c451cd258 (diff) | |
eggs
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 = { |