[Agda] constructor-headed functions to Set

[Nils Anders Danielsson]

On 2011-07-13 17:23, Andreas Abel wrote:
> Mmh, something must have been done, otherwise you would not have gotten
> yellow, but red underlining.

Does this mean that Agda is buggy? If so, can you please report a bug?

-- 
/NAD