Stream: Ltac2

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


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