search

antitypical / Manifold

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

Vectors, redux #145

Closed robrix closed 8 years ago

robrix commented 8 years ago

This PR fixes the eliminator for cons vectors.