UNB
/
CS
/
David Bremner
/
teaching
/
cs4613
/
lectures
/
lecture6
/ snippet-016.rkt
RecentChanges
#
lang plait
{
lam y E
}[
v
/
x
] = {
lam y E
[
v
/
x
]}
{
lam x E
}[
v
/
x
] = {
lam x E
}