toothbrush/agda-gp — comment on commit cbe992e00ab53071f1a6f682254f525b944d4f01
File:  line 0
By jpcooper:

I always thought that the idea of spine was just to represent a single level. That is, the arguments to each constructor.