robrix/Manifold

Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.

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

在 GitHub 上查看原仓库