GitHub repository: mspertus/TAPL
Primary language: OCaml
Created: 2022-05-12T14:28:04Z
Description: Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles