2 ms·
Just for reference, the laws are stated in full in haskell's docs, https://hackage.haskell.org/package/base-4.10.0.0/docs/Data-Monoid.html https://hackage.haske
by conistonwater 9y ago
Just for reference, the laws are stated in full in haskell's docs, https://hackage.haskell.org/package/base-4.10.0.0/docs/Data-Monoid.html https://hackage.haskell.org/package/base-4.10.0.0/docs/Data-....
- catnaroek 9y agoI was deliberately “acting stupid” to criticize an insufficiently precise definition. --- > That is usually a terrible idea. Not at all. Think about the structure of a proof of negation. You make a “silly” assumption and “play along” until you reach a contradiction.
- conistonwater 9y agoThat is usually a terrible idea.
- conistonwater 9y agoProofs by contradiction do not require you to play dumb, you can just present them as they are.