Record the arity of each branch in Case constructs - Githubissues

gmalecha / template-coq

Reflection library for Coq

MIT License

12 stars 0 forks source link

Record the arity of each branch in Case constructs #20

Closed mattam82 closed 9 years ago