External representation: #[...] vs #r(...) Marc Nieper-Wißkirchen (15 Nov 2022 08:40 UTC)

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

Re: External representation: #[...] vs #r(...) Daphne Preston-Kendal (15 Nov 2022 10:54 UTC)

Re: External representation: #[...] vs #r(...) Marc Nieper-Wißkirchen (15 Nov 2022 11:20 UTC)

Re: External representation: #[...] vs #r(...) Marc Feeley (15 Nov 2022 12:26 UTC)

Re: External representation: #[...] vs #r(...) Marc Nieper-Wißkirchen (15 Nov 2022 12:34 UTC)

Re: External representation: #[...] vs #r(...) Marc Nieper-Wißkirchen (15 Nov 2022 12:47 UTC)

Re: External representation: #[...] vs #r(...) John Cowan (15 Nov 2022 13:30 UTC)

Re: External representation: #[...] vs #r(...) Lassi Kortela (15 Nov 2022 17:21 UTC)

Re: External representation: #[...] vs #r(...) Arthur A. Gleckler (15 Nov 2022 18:02 UTC)