Fix inlining and reorder constructors which were not translating let … - Githubissues

MetaCoq / metacoq

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

https://metacoq.github.io

MIT License

367 stars 79 forks source link

Fix inlining and reorder constructors which were not translating let … #1066

Closed mattam82 closed 5 months ago

mattam82 commented 5 months ago

…bindings... oops!