Comment on Coq 8.13parentComments−deathtrader6665yAlright, but why?−Tyr425yI used it, and while I didn't hate it, I can totally see why it could inspire someone to write such a comment.
Comments
Alright, but why?
I used it, and while I didn't hate it, I can totally see why it could inspire someone to write such a comment.