Newest at the top
| 2025-12-04 00:14:10 +0100 | <EvanR> | TMA, due to buffy the vampire slayer, anything can be anythinged |
| 2025-12-04 00:12:37 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-12-04 00:11:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-04 00:06:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-04 00:06:29 +0100 | oats | (~oats@user/oats) oats |
| 2025-12-04 00:06:14 +0100 | oats | (~oats@user/oats) (Read error: Connection reset by peer) |
| 2025-12-04 00:03:55 +0100 | <haskellbridge> | <lucabtz> Leary maybe your way is better than an Additive typeclass as I was doing |
| 2025-12-03 23:59:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-03 23:58:58 +0100 | <TMA> | due to the vagaries of the English language/of English, nearly every word can be a noun, a verb and an adjective simultaneously. For some words there are some preferences to using certain alternatives in certain functions. Those are the vestiges of the past, when the current rules in the rule book did not rule. |
| 2025-12-03 23:53:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 23:49:36 +0100 | Googulator90 | Googulator |
| 2025-12-03 23:46:23 +0100 | <monochrom> | Summative, Productive >:) |
| 2025-12-03 23:45:31 +0100 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2025-12-03 23:44:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-12-03 23:41:48 +0100 | <Leary> | I wanted adjectives, so I didn't reuse `Sum` and `Product`. |
| 2025-12-03 23:41:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 23:41:08 +0100 | <Leary> | lucabtz: Yeah. |
| 2025-12-03 23:38:25 +0100 | <monochrom> | Sum and Product are the newtype wrappers. |
| 2025-12-03 23:37:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 23:35:49 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 23:35:47 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 23:34:06 +0100 | <EvanR> | (actually is * commutative) |
| 2025-12-03 23:33:35 +0100 | <EvanR> | + is required to be commutative and * is not. Good, so floating point can play xD |
| 2025-12-03 23:27:07 +0100 | <haskellbridge> | <lucabtz> Additive and Multiplicative are just newtype wrappers? |
| 2025-12-03 23:26:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 23:25:44 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-12-03 23:24:15 +0100 | <Leary> | Yeah, it originally did, that's why it follows the class dec. I removed it for some reason, lost to time. |
| 2025-12-03 23:23:00 +0100 | <haskellbridge> | <lucabtz> Maybe in + I would require commutative too though |
| 2025-12-03 23:22:27 +0100 | ZLima12_ | ZLima12 |
| 2025-12-03 23:21:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 23:17:34 +0100 | <monochrom> | :) |
| 2025-12-03 23:10:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-03 23:09:16 +0100 | <haskellbridge> | <lucabtz> Leary yeah looks great |
| 2025-12-03 23:05:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 23:05:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-03 23:05:34 +0100 | Googulator | (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 23:05:19 +0100 | X-Scale | (~ARM@50.65.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-03 23:04:01 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-03 23:02:24 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 260 seconds) |
| 2025-12-03 23:01:25 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-03 22:59:49 +0100 | <Leary> | lucabtz: You might be interested in these, which I wrote forever ago: https://paste.tomsmeding.com/eQbuVoyR |
| 2025-12-03 22:57:54 +0100 | <EvanR> | seems to work for them |
| 2025-12-03 22:57:46 +0100 | <EvanR> | but this class basically mirrors the idris version of Num |
| 2025-12-03 22:57:43 +0100 | <haskellbridge> | <lucabtz> I'm typing from the phone :p |
| 2025-12-03 22:57:41 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-03 22:57:23 +0100 | <EvanR> | one :: 0 |
| 2025-12-03 22:56:57 +0100 | <haskellbridge> | <lucabtz> Doesn't use phantom types, but still connects Monoid to Additive and Multiplicative |
| 2025-12-03 22:56:26 +0100 | <haskellbridge> | <lucabtz> would this work |
| 2025-12-03 22:56:21 +0100 | <haskellbridge> | <lucabtz> https://paste.tomsmeding.com/2X4DbihK |
| 2025-12-03 22:56:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |