Re: namespaces on the head of a pin

This seems like a sensible (preferable?) alternative to the pragma namespaces proposal.

Thanks,
Tom

Received on Wednesday, 19 January 2022 10:55:31 UTC