antitypical / TesseractCore

Tesseract’s evaluation and type system.

MIT License

30 stars 1 forks source link

Typecheck graphs #25

Closed robrix closed 9 years ago

robrix commented 9 years ago

21 added evaluation and types to graphs, but we don’t actually typecheck them yet.

robrix commented 9 years ago

This is the same thing as #4.