[Agda] Agdas constraint solver too eager?!

Nils Anders Danielsson nad at chalmers.se
Fri Sep 7 13:23:10 CEST 2012


On 2012-09-07 12:49, Andreas Abel wrote:
> I think we should stick to the philosophy that constraint solving
> should only deliver unique solutions, and fix the issue described
> above.

I agree.

-- 
/NAD


More information about the Agda mailing list