GitHub repository: milo-brandt/simple-depdendent-type-interpreter
Primary language: C++
Created: 2021-09-27T18:09:04Z
Description: An implementation of a parser and interpreter for a dependently typed language with type deduction.