search

gmalecha / template-coq

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

Recursive Reification #2

Closed gmalecha closed 10 years ago

gmalecha commented 10 years ago

Done. 6e0c6fbfafcd