3 ms·This is a solved problem. See CakeML for example.by deterministic 1y agoThis is a solved problem. See CakeML for example.