search

gmalecha / template-coq

Reflection library for Coq
MIT License
12 stars 0 forks source link

Check the quoting of mutual fixpoints #6

Closed gmalecha closed 10 years ago

gmalecha commented 10 years ago

Is the quoting correct?

gmalecha commented 10 years ago

Yup, it is just complicated.