:: Int -> [a] -> [[a]] package:Agda

Chop up a list in chunks of a given length. O(n).