Stream: Ltac2

Topic: ✔ Why does `Control.refine` take a thunk?


view this post on Zulip Jason Gross (Sep 23 2022 at 08:51):

Why does Control.refine take a thunk? (See also https://github.com/coq/coq/issues/16529)

view this post on Zulip Pierre-Marie Pédrot (Sep 23 2022 at 09:27):

I've answered in the issue.

view this post on Zulip Notification Bot (Sep 23 2022 at 10:48):

Jason Gross has marked this topic as resolved.

view this post on Zulip Notification Bot (Sep 23 2022 at 10:48):

Jason Gross has marked this topic as unresolved.

view this post on Zulip Notification Bot (Sep 23 2022 at 10:48):

Jason Gross has marked this topic as resolved.


Last updated: May 19 2024 at 16:02 UTC