11 Apr
2021
11 Apr
'21
10:11 a.m.
Yeah, I mis-composed that. Pretty sure there's a formulation around take/head that works but I'm clearly not in a headspace to find it! On Sun, Apr 11, 2021, 3:03 AM Henning Thielemann < lemming@henning-thielemann.de> wrote:
On Sun, 11 Apr 2021, Akhra Gannon wrote:
It's distributive under IsList. fromList (xs !! n) == (fromList xs) !! n
fromList (xs !! n) ?
I think, xs!!n is a single element.