jonsterling/dreamtt

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.

语言：OCaml · GitHub 星标：90 · Fork：2

话题：dependent-types · elaboration · tutorial

在 GitHub 上查看原仓库