Cherry-pick "Put the Ast in [Set] rather than [Type]" into coq-8.5

gmalecha / template-coq

Reflection library for Coq

MIT License

12 stars 0 forks source link

Closed JasonGross closed 9 years ago

JasonGross commented 9 years ago

This makes it simpler for the datatype to quote itself without messing around with universes.