search

antitypical / TesseractCore

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

Typechecking of applications is unimplemented #11

Closed robrix closed 9 years ago

robrix commented 9 years ago

It didn’t get exercised by the test since the test uses the identity function.