1. 'a : S
2. h : 'a
3. t : hlist('a)
4. n : 
5. n<||t||+1
6. n = 0
7. n>0
  cons(h; t)[n] = 1of(rep_list('a;t))(n-1)  'a

1

8. n-1<||t||   cons(h; t)[n] = t[(n-1)]  'a

1 step

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