-
Julien authored
It is important to test that malformed programs are rejected by the typechecker. This work starts with a few counter-examples which should fail.
It is important to test that malformed programs are rejected by the typechecker. This work starts with a few counter-examples which should fail.