Zulip Chat Archive
Stream: lean4
Topic: pretty print format with no whitespace
Adam Topaz (Dec 21 2023 at 22:36):
Do we have something similar to docs#Std.Format.pretty but where w is "infinite", i.e. so that the result has no new lines?
Last updated: May 02 2025 at 03:31 UTC