3 ms·I think you meant "types as unit tests", not the other way around.by jolmg 7y agoI think you meant "types as unit tests", not the other way around.