UNB
/
CS
/
David Bremner
/
teaching
/
cs4613
/
lectures
/
lecture7
/ snippet-003.rkt
RecentChanges
#
lang plait
{
let1
{
x
1
}
{
lam y
{+
x y
}}}