[심우철]

diff : ae * string -> ae

이것은 (ae * string) 튜플을 받아 ae를 게산하주는 함수로 봐야하나요

아니면 ae와 string을 받아 ae를 계산해주는, 즉 ae -> string -> ae 함수로 봐야 하나요?

[윤용호]

스킴 과제때와는 달리 타입체커가 타입을 아주 잘 명시해주기 때문에

문자 그대로 해석하시면 됩니다.

저렇게 써있으면 튜플을 받는게 맞습니다.
_________________
TA