Generalize indexing function

Henning Thielemann lemming at henning-thielemann.de
Sun Apr 11 10:03:04 UTC 2021


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.


More information about the Libraries mailing list