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

(\x y. plus (plus x y) x) one two

-- Should reduce to plus (plus one two) one
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-19 23:50:21 +0000