gilbo

Cork truncates precision internally before performing arithmetic so that it can use big-integer arithmetic when needed. Can you clarify why a double-precision interface would be useful? If it's a convenience...

Hi Alec, I don’t think I’m deep enough in the code to fix it up; maybe Jesse, Sai or Kevin have better insight. We expect that there are various practical...

(Previous comment was a blanket disclaimer) If I look specifically at the code you wrote, this expression ([x I don’t think I’m deep enough in the code to fix it...

Please also note that determining whether or not two conditionals are degenerate is undecidable in the general case. So “can be automated” should be taken with a grain of salt...