HW7

How to use

6-1 : let-polymorphic type checker (`ex1/`)

구현한 poly_checker.ml을 복사하거나 뼈대코드 poly_checker.ml.orig을 poly_checker.ml로 복사 한 후 구현합니다.
./check 명령어를 통해 테스트케이스를 실행합니다.

examples/test<num>.m : 테스트케이스
examples/test<num>.ans : 정답
examples/test<num>.out : 출력