summary refs log tree commit diff
path: root/source/mod_student/typechecker.ml
AgeCommit message (Expand)AuthorFilesLines
2018-11-25Types for function callsPaweł Dybiec1-8/+36
2018-11-25Add return and block supportPaweł Dybiec1-2/+31
2018-11-24Type checking for global definitions and basic types and operandsPaweł Dybiec1-17/+70
2018-11-24Upgrade basePaweł Dybiec1-0/+231