diff options
| author | c+1 | 2023-05-13 14:35:27 -0400 |
|---|---|---|
| committer | c+1 | 2023-05-13 14:35:27 -0400 |
| commit | c8d473a2e6bfcb463ca4fb3613cf73db8d74e479 (patch) | |
| tree | 1c6ba184c1291b74759a03f71b851ba6a0866ddb /examples/functional.halk | |
| parent | ce63a4ea610bc80e9862c799633e07d3e896fe92 (diff) | |
real
Diffstat (limited to 'examples/functional.halk')
| -rw-r--r-- | examples/functional.halk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/functional.halk b/examples/functional.halk index 758559c..ba61210 100644 --- a/examples/functional.halk +++ b/examples/functional.halk @@ -7,3 +7,4 @@ let.Y => { λ.x => f.x.x; }.λ.x => f.x.x; } + |