GitHub repository: ymyzk/lambda-dti
Primary language: OCaml
Created: 2018-10-13T07:38:43Z
Description: Interpreter of the ITGL with dynamic type inference