Why is lazy ~50% slower than cbv on primitive float ops (or on Prim2SF, or something)? (See https://github.com/coq/coq/pull/17899 for more details)
lazy
cbv
Prim2SF
Last updated: Oct 13 2024 at 01:02 UTC