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

Andrew Butterfield Andrew.Butterfield at scss.tcd.ie
Tue Sep 29 09:58:12 UTC 2020


It's bitwise, so not that complicated

> On 29 Sep 2020, at 10:52, Jaro Reinders <jaro.reinders at gmail.com> 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 at 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/
--------------------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20200929/3505c060/attachment.html>


More information about the Haskell-Cafe mailing list