Stream: MetaCoq

Topic: documentation for the quotation package?

view this post on Zulip Jason Gross (Nov 30 2023 at 18:19):

I notice that both and seem to have some problem with the quotation code. Would it be worth adding more documentation somewhere, maybe in a "How to adapt this code to changes" section in the README in quotation/, or a file, or elsewhere? I have some text already at

view this post on Zulip Matthieu Sozeau (Dec 13 2023 at 12:56):

I think that could help indeed

Last updated: Jul 23 2024 at 21:01 UTC