Fix quotation after primitive array support

MetaCoq / metacoq

Metaprogramming, verified meta-theory and implementation of Coq in Coq

https://metacoq.github.io

MIT License

380 stars 82 forks source link

Closed JasonGross closed 11 months ago

JasonGross commented 11 months ago

cc @mattam82

Is there any documentation I could have left to have made this process easier?