3 ms·Accidental downvote, sorry. Counterexample: Holy-C isn't typechecked.by MichaelGG 10y agoAccidental downvote, sorry. Counterexample: Holy-C isn't typechecked.