177904b5 - miscelleaneous

Authored by: Anthony Wang
Authored at: 2025-12-24 17:28:27 -0600
Committed by: Anthony Wang
Committed at: 2025-12-24 17:28:27 -0600
Signature: View
-----BEGIN SSH SIGNATURE----- U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAg8Ms9qQOcB6WoVNS51AHxfRPvJz /x6RXeMaql4lvTraUAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5 AAAAQD48T4HGgRi73oOFiexAF6/cCZwLUp3xQYiq929yJN0Sleb2sXv+wmDAyed8S5OlpI SrpktAYbDV/Vyd3ABlcgY= -----END SSH SIGNATURE-----
Object name: 177904b5033f2d596d8ee823545beb19e6f40cf2
Parent: 4345e09d

Remove newlines from quine

Changes

1 changed files (+1/-4)

Quine.lean
- @@ -1,4 +1,1 @@
  - 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)}" + 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)}"