3 ms·Doesn’t this break down with dependent type systems?by jounker 8d agoDoesn’t this break down with dependent type systems?