woojin444
가입: 2017년 9월 6일 올린 글: 2
|
올려짐: 2017년10월20일 2:04 주제: 과제 3-1 CALLV 질문 |
|
|
숙제에 나와있는 CALLV에 definition인데, 여기에 나와있는 e' 와 sigma' 가 무슨 뜻인가요??
CALLV 는 id * exp list 라고 되어있고 <id list, exp, env> 이라고 정의 되어있는데, 무슨 exp 가 e' 안으로 들어가나요?
sigma' 는 무엇을 뜻 하는건가요?
감사합니다! |
|