Date: Tue, 16 Feb 2021 15:06:13 +0100
Please we should keep discussing technicalities and avoid any ad hominem arguments.
Hana
> On 16. 2. 2021, at 14:49, Andrew Sutton via Ext <ext_at_[hidden]> wrote:
>
> And if you actually read the paper, there's discussion about dropping the trailing ellipsis when using a leading ellipsis because you can't have an unexpanded pattern.
Hana
> On 16. 2. 2021, at 14:49, Andrew Sutton via Ext <ext_at_[hidden]> wrote:
>
> And if you actually read the paper, there's discussion about dropping the trailing ellipsis when using a leading ellipsis because you can't have an unexpanded pattern.
Received on 2021-02-16 08:06:18