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 @05:17AM (#23465042)
In Coordination2019 here is a lovely paper (W Kokke, J Garrett Morris, Philip Wadler. Towards Races in Linear Logic) that uses emoji as formal notation. Maybe it could be the way to go? Like, if your formal language describes cars and buses, why not use and instead of alpha and beta?
[ Parent | on HN ]
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 ]