The Cforall Programming Language

Anyone know what their thinking is with the alternative declaration syntax? Everything else made sense and I could immediately see the problem they were solving, but the alternative declaration syntax does not.