about summary refs log tree commit diff
path: root/tests/examples/weak-head-normal-form.out
blob: 6b4a7fcf9e8c70ba4ff25e6d7609447cbfc59411 (plain) 
1

\f . f ((\x . x x) (\x . x x))
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-12 22:58:46 +0000