Welcome! Please note: Public logs of this channel are posted at http://snailgeist.com/irc-logs | See https://community.scheme.org for useful links | Please use a pastebin like https://paste.debian.net for code. | Next R7RS WG2 meeting: 2025-10-28 20:00 UTC.