search

gmalecha / template-coq

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

Typo in README.md #43

Closed herbelin closed 6 years ago

herbelin commented 6 years ago

Hi @gmalecha, I hope you're doing well. I submit this PR just about a little typo I found on the main page, thinking that it could be cool to fix it since this is probably read by many people. Best.

mattam82 commented 6 years ago

Thanks!