[Agda] Re: Not understanding some goal solving stuff

[Andreas Abel]

On 09.01.14 3:30 AM, Chris Moline wrote:
> Ok, so I figured it out. Typical, struggle for awhile, give up and ask
> the question, figure it out shortly after.

Yes, writing down the problem and formulating the question triggers new 
information processing in the brain...

> Sorry for the noise.

No problem.  That's what a mailing list is for.

Cheers,
Andreas