Comment on A cursory look at meta-programming in NimparentComments−Dewie311yThe voices of American programmers are loud and many.−platz11yAt least we still have Coq
Comments
The voices of American programmers are loud and many.
At least we still have Coq