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.
[ Parent
| on HN ]
There are no comments on this comment yet.