robrix/surface

Dependently-typed language w/ little to say for itself

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

话题：dependent-types · haskell · proof-refinement · typechecker

在 GitHub 上查看原仓库