antitypical/Manifold

An implementation of a dependently-typed intermediate language used by Tesseract.

语言：Swift · GitHub 星标：30 · Fork：1

在 GitHub 上查看原仓库