Inner working of lean

Stream: general

[saurabh purohit]

Hi, I want to know how lean parses statements. Is there is any code or documentation for it?

[Mario Carneiro]

not really, just the code, although the reference manual might help. It basically just chews tokens and executes them; I can say more specifics if you need