On Tue, 21 Apr 2020 at 09:15, Peter Cowburn <[email protected]> wrote:
> I know that I'm "too late" to be making suggestions, but I would like to > see > a new "@@" operator over the proposed <<...>> or @:. > I support this, and agree with Theodore Brown's earlier message ( https://externals.io/message/109713#109717). Peter
