Skip to content

explain our choice of integer division operator

Ralf Jung requested to merge ralf/int-div into master

Coq has multiple different notions of integer division, and we picked one of them for HeapLang. I don't know why/how we picked it, but what we picked matches what Rust does (at least for this one example I found where `div` and `quot` actually differ), so I agree with our choice. :D

Merge request reports