UNB
/
CS
/
David Bremner
/
teaching
/
cs4613
/
lectures
/
lecture6
/ snippet-015.rkt
RecentChanges
#
lang plait
{
E1 E2
}[
v
/
x
] = {
E1
[
v
/
x
]
E2
[
v
/
x
]}