mirror of
https://github.com/HigherOrderCO/Bend.git
synced 2024-09-11 03:45:29 +03:00
3 lines
104 B
Plaintext
3 lines
104 B
Plaintext
# Requires different labels in the two duplications of f
|
|
main = ((λfλx (f (f x))) (λfλx (f (f x))))
|