[Agda] Postulated computing quotients are unsound

[Nils Anders Danielsson]

On 2012-05-16 15:50, Altenkirch Thorsten wrote:
> How can this be fixed? Can we hide things better?

I don't think we should let hacks like this influence the language
design too much.

-- 
/NAD