검색 결과 6 개 일치합니다

λx.λx.x 을 받으면 λx.λx0.x0 과 λx.λx.x 중에 어떤 꼴로 리턴해야 하나요?
둘다 상관없을까요?
감사합니다.

5번도 질문이 있습니다.
Guide 밑에 바로 starbox가 오는 케이스는 배제하고 풀면 되는건가요?

안녕하세요,
4번 문제에 관해 질문드립니다.

input으로 들어오는 require list 는 a,[..] b,[..] c,[..] d,[..] e,[..] 순서로 5개의 원소가 있는 것이 맞나요?
...

안녕하세요, 프로그래밍언어 수강생 김민규입니다.
과제를 할때 추가적으로 타입을 구현해서 코드를 작성해도 되나요?
기존 타입을 사용하지 않는다 ...

안녕하세요 , 6번 문제에서 큐의 원소가 정수 리스트라는 것이 이해가 잘 되지 않습니다.
1. empty queue에 [1;2]를 enqueue하고 [3;4]를 enqueue 했을때 queue의 상 ...

안녕하세요 , 김민규입니다. 단순한 질문 하나 드리려고 합니다.
예를 들어 1번문제같은 경우 .ml 파일안에 (주석을 제외하고)

---

let merge a b = c

- ...