search

antitypical / Manifold

An implementation of a dependently-typed intermediate language used by Tesseract.
MIT License
30 stars 0 forks source link

Arbitrary annotations #167

Closed robrix closed 8 years ago

robrix commented 8 years ago

Generalizes Elaborated to AnnotatedTerm<A>.

Fixes #164.