On Mon, Dec 17, 2018 at 9:36 AM Fontana Nicola wrote:
Il giorno lun, 17/12/2018 alle 02.16 +0100, nobody ha scritto:
> On 16/12/2018 23.57, Egor Skriptunoff wrote:
> > On Mon, Dec 17, 2018 at 12:59 AM Peter Hickman wrote:
> > > 1) The ` character is pretty much invisible and almost identical
> > > to ' depending on your font
> > Both are used in Linux shell, and nobody complains about that.
> -- nobody
Refreshing ambiguous answer.
It seems that we need annotations (to specify indentifiers' types) not only in Ravi, but in this mailing list too :-)