Deno TypeScript implementation of LambdaPi interpreter from "A Tutorial Implementation of a Dependently Typed Lambda Calculus" https://www.andres-loeh.de/LambdaPi/
Primary LanguageTypeScriptMIT LicenseMIT