3 ms·
my hot take: the language should accept \, but formatters should replace it with λ
by nemo1618 2y ago
my hot take: the language should accept \, but formatters should replace it with λ
- IshKebab 2y agoLean does symbols very well. You can just type \r and it will replace it with a right arrow as you type.