RosettaCodeData/Task/Y-combinator/E/y-combinator-1.e
2023-07-01 13:44:08 -04:00

3 lines
211 B
Text

def y := fn f { fn x { x(x) }(fn y { f(fn a { y(y)(a) }) }) }
def fac := fn f { fn n { if (n<2) {1} else { n*f(n-1) } }}
def fib := fn f { fn n { if (n == 0) {0} else if (n == 1) {1} else { f(n-1) + f(n-2) } }}