[Agda] is there a show function like haskell to show result of a running function

[Nils Anders Danielsson]

On 2016-01-28 18:46, Sergei Meshveliani wrote:
> But probably  XorRingSolver  presents a different universal algebra than
> RingSolver.  The prefix `Xor' probably points that there is added a
> law
>        X + X = 0,
>
> where _+_ stands for xor.

XorRingSolver is an instantiation of RingSolver.

-- 
/NAD