summaryrefslogtreecommitdiff
path: root/src/semantic
AgeCommit message (Collapse)AuthorFilesLines
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