issues
search
antitypical
/
TesseractCore
Tesseract’s evaluation and type system.
MIT License
30
stars
1
forks
source link
Constant graph typing
#60
Closed
robrix
closed
9 years ago
robrix
commented
9 years ago
Tests and corrects the typing of the graph of
constant
.
Tests and corrects the typing of the graph of
constant
.