Comment on A cursory look at meta-programming in NimparentComments−platz11yAt least we still have Coq
Comments
At least we still have Coq