[Agda] Agda bug

[Carlos Camarao]

On Thu, Nov 7, 2013 at 3:49 PM, Nils Anders Danielsson <nad at cse.gu.se>wrote:

> On 2013-11-07 18:32, Carlos Camarao wrote:
>
>> I'd suggest to include a -u "parameter", to allow a unique solution to be
>> searched.
>>
>
> As Ulf noted the search space is often very large. However, feel free to
> submit a feature request on the bug tracker.
>
>
I think the timeout deals well with this.

I'll submit a feature request.

 And also perhaps highlight the issue by modifying the wiki, right at the
> 1st paragraph,
> as follows:
>

You don't need an account to update the wiki, so please go ahead and
> rewrite the text yourself.
>

Ok. Done.

Cheers,

Carlos



>
> --
> /NAD
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20131107/806884af/attachment-0001.html