Quines!

Changes

2 changed files (+13/-0)

• Quine.lean (new)
  • @@ -0,0 +1,4 @@
    + def a:=["def a:=", "def main:=IO.println s!\"{a.head (by decide)}{a.map λx↦s!\"\\\"{x.replace \"\\\\\" \"\\\\\\\\\"|>.replace \"\\\"\" \"\\\\\\\"\"}\\\"\"} + {a.tail.head (by decide)}\""] + def main:=IO.println s!"{a.head (by decide)}{a.map λx↦s!"\"{x.replace "\\" "\\\\"|>.replace "\"" "\\\""}\""} + {a.tail.head (by decide)}"
• QuineLong.lean (new)
  • @@ -0,0 +1,9 @@
    + def a := + ["def a :=", "def main := do + IO.println <| a.head (by decide) + IO.println <| a.map λ (x : String) ↦ \"\\\"\" ++ (x.replace \"\\\\\" \"\\\\\\\\\" |>.replace \"\\\"\" \"\\\\\\\"\") ++ \"\\\"\" + IO.println <| a.tail.head (by decide)"] + def main := do + IO.println <| a.head (by decide) + IO.println <| a.map λ (x : String) ↦ "\"" ++ (x.replace "\\" "\\\\" |>.replace "\"" "\\\"") ++ "\"" + IO.println <| a.tail.head (by decide)