aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)AuthorFilesLines
2020-01-09Infer for record typesPaweł Dybiec1-1/+5
2020-01-09Fix infer for deref and arithmetic expressionsPaweł Dybiec1-4/+4
2020-01-09Fix assertsPaweł Dybiec1-3/+3
2020-01-09Fix variant typePaweł Dybiec2-2/+6
2020-01-08Initial commitPaweł Dybiec3-0/+83