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 https://github.com/MetaCoq/metacoq/pull/1007 and https://github.com/MetaCoq/metacoq/pull/998 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 FIXING.md file, or elsewhere? I have some text already at https://github.com/MetaCoq/metacoq/pull/1007#issuecomment-1830147815

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