News for hackers. Stuff that matters.
Re:Formalizing Text Editors in Coq by p4bl0 on Tuesday June 09, 2020 @03:30AM (#23464556)
I just wanted to express my appreciation of this reply. I originally wrote a simple ":)." but it's not really how it works here on HN :). Anyway, thanks for not being stubborn and pedantic, this is part what makes most of HN nice.

There are no comments on this comment yet.