gfngfn/Horsea

gfngfn/Horsea 是 GitHub 上的开源项目。

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

话题：dependent-type-theory · dependent-types · metaprogramming · multi-stage-programming · type-system

在 GitHub 上查看原仓库