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)
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-14 04:26:00 +0000