Non-ASCII in the future in the lexer

[Timon Gehr]

On 6/1/23 20:20, Walter Bright wrote:
> On 6/1/2023 6:49 AM, Timon Gehr wrote:
>> I am just using the Agda input mode in emacs, so e.g., I just type 
>> "\to" and I get "→", "\'a" and I get "á", etc.
> 
> https://agda.readthedocs.io/en/v2.6.3/tools/emacs-mode.html
> 

Only this part is relevant:
https://agda.readthedocs.io/en/v2.6.3/tools/emacs-mode.html#unicode-input

(Agda has an emacs mode for the language and an input mode. I am using 
the input mode even for D code. There's also a TeX input mode, but the 
Agda input mode has more convenient bindings, so I am using that.)

> https://github.com/DigitalMars/med/blob/master/src/med/more.d#L350