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.


Last updated: Jan 31 2023 at 10:01 UTC