path: root/tests/examples/y.lam

-- normal form              N
-- weak normal form         Y
-- head normal form         N
-- weak head normal form    Y

-- Y combinator
\ f . (\ x . f (x x)) (\ x . f (x x))