search

gmalecha / template-coq

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

bugfix in unquote_sort: Prop and Set were interchanged. #29

Closed aa755 closed 7 years ago

gmalecha commented 7 years ago

Thanks.