search

antitypical / TesseractCore

Tesseract’s evaluation and type system.
MIT License
30 stars 1 forks source link

Manifold #57

Closed robrix closed 9 years ago

robrix commented 9 years ago

Fixes #56.

We now use Manifold’s Term instead of our own Type, and Assertions for the tests.