(Slightly cheating) quine using #eval

Changes

1 changed files (+5/-0)

• QuineEval.lean (new)
  • @@ -0,0 +1,5 @@
    + def a := + ["def a :=", "#eval IO.println <| a.head (by decide)\n#eval a\n#eval IO.println <| a.tail.head (by decide)"] + #eval IO.println <| a.head (by decide) + #eval a + #eval IO.println <| a.tail.head (by decide)