Re: External representation: #[...] vs #r(...) Shiro Kawai 15 Nov 2022 08:47 UTC