ollef/sixty

Dependent type checker using normalisation by evaluation

语言：Haskell · GitHub 星标：277 · Fork：8

在 GitHub 上查看原仓库