Stream: MetaCoq

Topic: tmQuoteModule deficiencies


view this post on Zulip Jason Gross (Feb 21 2023 at 01:00):

Any ideas what's going on with https://github.com/MetaCoq/metacoq/issues/847? (And is it easy to fix?)

view this post on Zulip Jason Gross (Feb 21 2023 at 20:44):

Also, why does tmQuoteModule return duplicate references? (https://github.com/MetaCoq/metacoq/issues/850)


Last updated: Jun 13 2024 at 03:02 UTC