\b[Only the <list header> is present: `h.next eq h`, `h.prev eq h`, and `h.index` is the dimension.] This represents every coordinate as zero, including the unique zero-dimensional <vector> when the dimension is zero. The header is never treated as a nonzero coordinate.

Solution

Past exam of the year 1 of the computer science course of the University of Oxford / 2018 / Imperative programming / 3 / b / ii / Solution

 Solution (source code)