Stream: MetaCoq

Topic: TemplateMonad and SProp?

view this post on Zulip Jason Gross (Feb 21 2023 at 23:25):

What's the spec of tmUnquote and tmUnquoteTyped with respect to SProp?

Last updated: Jun 04 2023 at 23:30 UTC