about summary refs log tree commit diff
path: root/tests/examples/beta1.lam
blob: 3ffc446cb60f99fa4405c455092532d18c9445dc (plain) 
1
2
3

(\x . x three) (\y . plus y y)

-- Should reduce to plus three three
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-19 23:48:40 +0000