6 ms·
> The Agda community also heavily uses unicode characters. Wise move. Finally a language from the 21 century. Still sticking to ASCII is madness. Especially
by still_grokking 4y ago
> The Agda community also heavily uses unicode characters.
Wise move.
Finally a language from the 21 century.
Still sticking to ASCII is madness. Especially as most people on this planet don't use ASCII as their native char set.