>>123のコードも若干手順前後があるが同じことをしている。
>>123のコードは

fn [1, 2, 3] = [ [1], [1,2], [1,2,3] ]

に対して、まず各要素の頭に0をくっつけて

[ [0,1], [0,1,2], [0,1,2,3] ]

を作り、最後にこのリストの頭に[0]をくっつけて

[ [0], [0,1], [0,1,2], [0,1,2,3] ]

を得ている。それを一般的に書いただけ。