tests/examples/weak-head-normal-form.lam


1
2
3
4
5
6

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

\f . f ((\x . x x) (\x . x x))