Jason Gross (Sep 23 2022 at 08:51): Jason Gross (Sep 23 2022 at 08:51):Why does Control.refine take a thunk? (See also https://github.com/coq/coq/issues/16529)
Pierre-Marie Pédrot (Sep 23 2022 at 09:27):I've answered in the issue.
Notification Bot (Sep 23 2022 at 10:48):Jason Gross has marked this topic as resolved.
Notification Bot (Sep 23 2022 at 10:48):Jason Gross has marked this topic as unresolved.
Notification Bot (Sep 23 2022 at 10:48):Jason Gross has marked this topic as resolved.
Last updated: Jun 10 2023 at 06:31 UTC