UNB
/
CS
/
David Bremner
/
teaching
/
cs4613
/
lectures
/
lecture5
/ snippet-003.rkt
RecentChanges
#
lang plait
(
has-type
subst
:
(
LAE
Symbol LAE -
>
LAE
))
(
has-type
eval
: (
LAE
-
>
Number
))