Name		Name	Last commit message	Last commit date
Latest commit History 123 Commits
HW1		HW1
HW2		HW2
HW3		HW3
HW4		HW4
HW5		HW5
LET		LET
LETREC		LETREC
Lecture		Lecture
PROC		PROC
STATE		STATE
TYPE		TYPE
.gitignore		.gitignore
README.md		README.md
dune-project		dune-project
odin.tb2		odin.tb2

Repository files navigation

Course

COSE212 (http://prl.korea.ac.kr/~pronto/home/courses/cose212/2019/)

Book

Essentials of Programming Languages

Build

dune build

Run

dune exec -- ./<project_name>.exe <ARG>

Test

About

Essentials of Programming Languages 공부를 위한 개인 저장소

Report repository

Contributors

Languages