6 lines
149 B
Text
6 lines
149 B
Text
julia> """
|
|
# Y combinator
|
|
|
|
* `λf. (λx. f (x x)) (λx. f (x x))`
|
|
"""
|
|
Y = f -> (x -> x(x))(y -> f((t...) -> y(y)(t...)))
|