search

gmalecha / template-coq

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

Use the arity information of constructors #15

Closed mattam82 closed 9 years ago

mattam82 commented 9 years ago

... that comes from the kernel (not used by the kernel itself though, only the normalized arity is, mind_nf_lc).

gmalecha commented 9 years ago

Thanks!