issues
search
antitypical
/
TesseractCore
Tesseract’s evaluation and type system.
MIT License
30
stars
1
forks
source link
Typechecking results
#1
Closed
robrix
closed
9 years ago
robrix
commented
9 years ago
The typechecker can now return errors.
The typechecker can now return errors.