On Fri, 19 Apr 2024 11:01:59 +0000 Serhii wrote: > Have you tried vmap? No, because, IIUC, it would still need the repetition of 'drop' for every element. Isn't using an anonymous set possible?
On Fri, 19 Apr 2024 11:01:59 +0000 Serhii wrote: > Have you tried vmap? No, because, IIUC, it would still need the repetition of 'drop' for every element. Isn't using an anonymous set possible?
|