Hello!
Please allow me a question, since I’m searching for too long already:
Got a list of arbitrary length, and want to split it into parts of given length.
{0,1,2,3,4,5,6,7,8,9,10,11,12}
sublist length = 3:
{0,1,2}, {3,4,5}, {6,7,8}, {9,10,11}, {12}
Which component do I need?