Re: [Haskell-cafe] I think I discovered my first Monoid instance

It's bitwise, so not that complicated

On 29 Sep 2020, at 10:52, Jaro Reinders wrote:

But we're talking about xor for the Word64 type, so it is slightly more complicated to prove that it has a unit. _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

-------------------------------------------------------------------- Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification Research Group School of Computer Science and Statistics, Room G.39, O'Reilly Institute, Trinity College, University of Dublin http://www.scss.tcd.ie/Andrew.Butterfield/ --------------------------------------------------------------------