updated doc (with foldl supporting dim)