search

gmalecha / template-coq

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

Put the Ast in [Set] rather than [Type] #14

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.