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

I think the original idea was that Spine can support Type (Type a) and Dynamic as added to the universe in slide 50 of http://www.cs.uu.nl/wiki/pub/GP/Schedule/SYB.pdf , whereas things like LIGD and regular can't, but we haven't really covered that yet. Without those features I think that Regular is a lot nicer.