The documentation is here:
'a >> into f [b, c, ...]'
means 'f [a, b, c, ...]'
dodecahedron
>> colour red
>> into union [icosahedron]
means:
union [colour red dodecahedron, icosahedron]
So 'into' is just a way of writing pipelines using the '>>' operator, instead of writing nested function calls. I often writing pipelines with 12 or so operators. With function call notation, the parentheses would become deeply nested if I was using ordinary function call notation, and I would have to read the code from right to left. I prefer linear pipelines with no nesting, it's like a bash pipeline with the data flowing left to right.
The definition of 'into' is found in `lib/curv/std.curv` in the repo:
into f rest first = f [first, ...rest];
Doug Moen.