mspertus/TAPL

Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

语言：OCaml · GitHub 星标：82 · Fork：13

在 GitHub 上查看原仓库