liesnikov/extensible-elaborator

prototype implementation of a dependently-typed language with an extendable constraints and accompanying materials

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

话题：dependent-types · elaboration · haskell · programming-language · prototype

在 GitHub 上查看原仓库