GitHub repository: sano-jin/lambda-gt-alpha
Primary language: OCaml
Created: 2022-08-10T06:51:04Z
Description: A reference interpreter of λGT