News for hackers. Stuff that matters.

A comment on Formalizing Text Editors in Coq. Parent comment

Re:Formalizing Text Editors in Coq by lou1306 on Tuesday June 09, 2020 @11:05AM (#23467270)
(The above comment ended with "why not use :car and :bus instead of alpha and beta?". Apparently HN does not support emoji?)
[ Parent | on HN ]

There are no comments on this comment yet.