search

gmalecha / template-coq

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

Change representation of cases, fix denote function #26

Closed mattam82 closed 8 years ago

mattam82 commented 8 years ago

This adds the inductive type on which the case is performed to the case constructors.

Fixed the denotation of cases (new info and previous change of repr of branches).