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

Yes I suppose so. I just don't find spine very useful overall. I think we should find arguments for using spine otherwise what's the point of doing this project, i.e. I don't know exactly what's our motivation slide for the presentation.

On Nov 3, 2011, at 10:29 AM, jpcooper wrote:

> I always thought that the idea of spine was just to represent a single level. That is, the arguments to each constructor.
>
> --
> Reply to this email directly or view it on GitHub:
> https://github.com/toothbrush/agda-gp/commit/cbe992e00ab53071f1a6f682254f525b944d4f01#commitcomment-692335