Stream: Ltac2

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

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