antitypical / Manifold

An implementation of a dependently-typed intermediate language used by Tesseract.
30Updated 8 years ago

Related projects: