search

gmalecha / template-coq

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

Respect the COQBIN environment variable #16

Closed JasonGross closed 9 years ago

gmalecha commented 9 years ago

Thanks.