4 ms·
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 i
by lou1306 6y ago
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?
- lou1306 6y ago(The above comment ended with "why not use :car and :bus instead of alpha and beta?". Apparently HN does not support emoji?)