T:Type, i:, j:{i...}, a:[T]Array{i..j}, m:. a[++m]  [T]Array{i+m..j+m}

1

1. T : Type 2. i :  3. j : {i...} 4. a : [T]Array{i..j} 5. m :    a[++m]  [T]Array{i+m..j+m}

9 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html