Tabs are not allowed

Stream: new members

[andme.fikri]

Hi, is there a particular reason why Lean decidedly must use spaces rather than tabs for its indentations? I don't think this is a reasonable opinionated design choice.

Even Python, for example, allows authors to either use tabs or spaces, so long as they are consistent.

[Henrik Böving]

I think given some time the parser could be made to understand tabs as well but that seems like a rather low priority problem to me. At least AFAIK you are the first person to have an issue with it. If you want to tab you can just configure your tab to be rendered as 2 spaces and be happy no?