summaryrefslogtreecommitdiff
path: root/src/semantic
AgeCommit message (Expand)AuthorFilesLines
2017-11-06Reimplement checking of variable bindingsDavid Li2-22/+98
2017-11-05Parse type and variable declarationsDavid Li1-12/+13
2017-11-05Check types in bindings, unary operatorsDavid Li3-13/+59
2017-11-05Check types in add expressionsDavid Li1-3/+40
2017-11-05Add stubbed out type checkerDavid Li4-0/+82