robrix/elab

Dependently-typed language to experiment with An Algebraic Approach to Typechecking and Elaboration

语言：Haskell · GitHub 星标：4 · Fork：0

在 GitHub 上查看原仓库