about summary refs log tree commit diff
path: root/tests/examples/weak-normal-form.out
blob: 54963a16f20ad41f588671791281bf0f53786b4d (plain)
1
\f . (\x . x x) (\x . x x)