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.
Last updated: Jan 31 2023 at 10:01 UTC