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: Mar 28 2024 at 17:01 UTC