UNB
/
CS
/
David Bremner
/
teaching
/
cs4613
/
lectures
/
lecture13
/ infer-tr-good.rkt
RecentChanges
#
lang typed
/
racket
(
define
f
(
lambda
([
x
:
Number
] [
y
:
Number
])
(
if
x
(+
y
1
) (+
y
2
))))