nestiank / ml-interpreter-type-analyser-design

인터프리터와 타입 검증기 디자인

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

인터프리터와 타입 검증기 디자인

language-ocaml
participants-solo
institution-korea-university course-computer-architecture grade-a+

제한적인 함수형 언어로 작성된 프로그램을 위한 인터프리터와 타입 검증기를 디자인했습니다.

개발 기간

2020년 하반기

라이선스 및 공동체 수정

이곳은 개인 프로젝트 백업을 목적으로 하는 저장소입니다.

  • 모든 제3자 사용을 허가하지 않습니다.
  • 모든 제3자 수정을 승인하지 않습니다.
    • 깃허브 Pull Request를 받지 않습니다.

About

인터프리터와 타입 검증기 디자인


Languages

Language:OCaml 100.0%