오타 `t.snd` -> `fix t`
Closed this issue · 1 comments
Zeta611 commented
sf202301/assignments/6-Smallstep_MoreStlc/D.v
Line 589 in 56683cf
t.snd
이 아니라 fix t
아닌가요?
hilyun07 commented
네 맞습니다.
Closed this issue · 1 comments
sf202301/assignments/6-Smallstep_MoreStlc/D.v
Line 589 in 56683cf
t.snd
이 아니라 fix t
아닌가요?
네 맞습니다.