search

antitypical / TesseractCore

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

Type diffing #61

Closed robrix closed 9 years ago

robrix commented 9 years ago

Diffing over types.

robrix commented 9 years ago

This turns out to be interesting, but not actually all that useful yet. Nevertheless, merging for the time being.

robrix commented 9 years ago

or fat-fingering the close button, either way.