[Agda] Ringsolver seems ok, but how to get NF?

[Nils Anders Danielsson]

On 2010-08-19 12:56, Christoph HERRMANN wrote:
> However, this still does not provide a normal form
> which can be used as a type.

Can you explain in more detail what you want to accomplish?

--
/NAD