heyrutvik/nbe-a-tutorial

Checking Dependent Types with Normalization by Evaluation

语言：Scala · GitHub 星标：9 · Fork：1

话题：dependent-types · interpreter · lambda-calculus · type-checker

在 GitHub 上查看原仓库