UNB
/
CS
/
David Bremner
/
teaching
/
cs4613
/
lectures
/
lecture6
/ snippet-025.rkt
RecentChanges
#
lang plait eval
({
let1
{
x E1
}
E2
}) =
eval
({{
lam x E2
}
E1
})