GitHub repository: H-Yulong/DCC
Primary language: OCaml
Created: 2022-04-25T15:06:41Z
Description: Implementation of Defunctionalized Calculus of Constructions (Master thesis)