src to src transformation

Stream: lean4

[Kihong Heo]

Hello. I’m trying to build a simple source-to-source transformation for Lean4. Where would be a good place to start? I’d appreciate any advice.

[Kim Morrison]

You would need to explain in more detail what you want to do before anyone can meaningfully help you.

[Kihong Heo]

Thanks. I want to build a formatter-style code transformation tool. e.g., changing indentation/newline and variable names, adding semicolon, etc. I would be very nice if there is any reference such as ast-to-code writer.