@neauoire How's that?
@wim_v12e because of the K combinator, like @s_ol said here: https://merveilles.town/@s_ol/110023046427400318
@neauoire @s_ol I see, you map \xy.x and \xy.y to a list, which in your system has a starting index of 0. But picking an item at index 0 is not picking 0, isn't it?
@wim_v12e @s_ol It depends if your system has the concept of numbers or not.
@wim_v12e because of the K combinator, like @s_ol said here: https://merveilles.town/@s_ol/110023046427400318