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

No. I'm trying to solve it.

On Oct 31, 2011, at 5:41 PM, jpcooper wrote:

> Does that solve it?
>
> --
> Reply to this email directly or view it on GitHub:
> https://github.com/toothbrush/agda-gp/commit/e5fe83916fa8e3a3269f09fc93dbdf5764f9e3f0#commitcomment-685264