[Agda] Agda bug

[Nils Anders Danielsson]

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.

> 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.

-- 
/NAD