4 ms·So you're saying that cubical type theory will be a good fit for cubical programming?by harveywi 6y agoSo you're saying that cubical type theory will be a good fit for cubical programming?