UNB
/
CS
/
David Bremner
/
teaching
/
cs4613
/
lectures
/
lecture12
/ infer-good.rkt
RecentChanges
#
lang plait
(
lambda
(
x
y
)
(
if
x
(+
y
1
)
(+
y
2
)))