search

MetaCoq / metacoq

Metaprogramming, verified meta-theory and implementation of Coq in Coq
https://metacoq.github.io
MIT License
370 stars 79 forks source link

Add some debugging suggestions for quotation #1031

Closed JasonGross closed 8 months ago

JasonGross commented 9 months ago

cf https://github.com/MetaCoq/metacoq/pull/1007#issuecomment-1830147815 https://github.com/MetaCoq/metacoq/pull/1024

JasonGross commented 8 months ago

Let's merge this and iterate more later