PL-LectureNotes. Java
copl-tools. tools for the book "Concepts of Programming Languages"
errata-copl. 「プログラミング言語の基礎概念」の正誤表
ocaml_of_michelson. Tiny translator from Michelson to OCaml
lambdanote-abstract-interpreter. OCaml
STLC. OCaml
TPP2017. Coq
