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