Random Lean experiments
def a := ["def a :=", "#eval IO.println <| a[0]\n#eval a\n#eval IO.println <| a[1]"] #eval IO.println <| a[0] #eval a #eval IO.println <| a[1]