[Agda] Agda bug

Carlos Camarao carlos.camarao at gmail.com
Thu Nov 7 19:29:13 CET 2013

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.



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

More information about the Agda mailing list