Stream: Coq devs & plugin devs

Topic: ✔ Trying to migrate to Coq 8.18.0 -- anomaly error


view this post on Zulip Audrey Seo (Apr 15 2024 at 01:33):

Thanks everyone! Using lazy helped -- and good to know about potential issues with using lazy on globals that could change. We'll try to limit its use to places that use built-ins.

view this post on Zulip Notification Bot (Apr 15 2024 at 01:33):

Audrey Seo has marked this topic as resolved.


Last updated: Oct 13 2024 at 01:02 UTC