summary refs log tree commit diff
path: root/source/mod_student/typechecker.ml
AgeCommit message (Expand)AuthorFilesLines
2018-11-24Type checking for global definitions and basic types and operandsPaweł Dybiec1-17/+70
2018-11-24Upgrade basePaweł Dybiec1-0/+231