 |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인| 검색 결과 2 개 일치합니다 |
| 글쓴이 | 메시지 |
|---|---|
 주제: 7-1 질문 |
|
| woojin444 답변: 2 조회: 2576 |
 게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년12월8일 16:26 주제: 7-1 질문 |
| 과제 7-1에
let check : M.exp -> M.typ = 로 되어있는데 M.typ은 이렇게 정의되어있습니다 (* type in M *) type typ = TyInt (* i ... |
|
| 주제: 과제 3-1 CALLV 질문 |
|
| woojin444 답변: 1 조회: 5070 |
게시판: 4190.310 Programming Languages (Fall 2017) 올려짐: 2017년10월20일 2:04 주제: 과제 3-1 CALLV 질문 |
| https://i.imgur.com/xuFGDd5.png
숙제에 나와있는 CALLV에 definition인데, 여기에 나와있는 e' 와 sigma' 가 무슨 뜻인가요?? CALLV 는 id * exp list 라고 되어있고 <id ... |
|
시간대: GMT + 9 시간(한국) |
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay