Jason Gross (Nov 30 2023 at 18:19): 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
Matthieu Sozeau (Dec 13 2023 at 12:56):I think that could help indeed
Last updated: Oct 13 2024 at 01:02 UTC