[Agda] Agda bug
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
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda