summaryrefslogtreecommitdiff
path: root/types.c
AgeCommit message (Expand)Author
2019-08-28added flexible numerical constantsLeo Tenenbaum
2019-08-28Improved types (now gives error when you annotate the wrong type)Leo Tenenbaum
2019-08-28cleaned up code; fixed some function stuffLeo Tenenbaum