7 Mai
2016
7 Mai
'16
03:54
The `check` function in typecheck.ml is now "complete enough to be testable". It's still untested, tho. Stefan