UNB
/
CS
/
David Bremner
/
teaching
/
cs4613
/
lectures
/
lecture4
/ snippet-025.rkt
RecentChanges
#
lang plait
{
let1
{
x E1
}
E2
} =>
E2
[
E1
/
x
]