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