Stream: Coq devs & plugin devs

Topic: performance of lazy on primitive floats


view this post on Zulip Jason Gross (Aug 05 2023 at 03:28):

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)


Last updated: Jun 13 2024 at 04:03 UTC