search

antitypical / TesseractCore

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

Type inference #4

Closed robrix closed 9 years ago

robrix commented 9 years ago

Type inferencing over graphs.

robrix commented 9 years ago

Manifold will do the heavy lifting here, but we need to get our ducks in a row for it.