Newest at the top
| 2026-02-16 00:06:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 23:55:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 23:53:47 +0100 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2026-02-15 23:51:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 23:48:56 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-15 23:45:36 +0100 | emmanuelux_ | (~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2026-02-15 23:44:29 +0100 | polykernel_ | polykernel |
| 2026-02-15 23:44:29 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 245 seconds) |
| 2026-02-15 23:44:06 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-15 23:44:00 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-15 23:43:51 +0100 | califax | (~califax@user/califx) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-15 23:40:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 23:39:57 +0100 | Miroboru | (~myrvoll@84.214.174.190) Miroboru |
| 2026-02-15 23:35:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 23:33:28 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-02-15 23:33:19 +0100 | Miroboru | (~myrvoll@188.113.115.67) (Ping timeout: 264 seconds) |
| 2026-02-15 23:32:21 +0100 | michalz | (~michalz@185.246.207.205) |
| 2026-02-15 23:29:33 +0100 | michalz | (~michalz@185.246.207.205) (Remote host closed the connection) |
| 2026-02-15 23:24:23 +0100 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-02-15 23:23:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-15 23:22:34 +0100 | emmanuelux_ | (~em@2a01cb011051ddce36cff6fffefa7e31.ipv6.abo.wanadoo.fr) |
| 2026-02-15 23:22:31 +0100 | emmanuelux | (~em@user/emmanuelux) (Ping timeout: 244 seconds) |
| 2026-02-15 23:21:43 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-15 23:19:09 +0100 | ft | (~ft@p4fc2afab.dip0.t-ipconnect.de) ft |
| 2026-02-15 23:06:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-15 23:06:04 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-15 23:03:13 +0100 | <monochrom> | >:) |
| 2026-02-15 23:03:10 +0100 | <lambdabot> | negate . (-) 1 |
| 2026-02-15 23:03:10 +0100 | <monochrom> | @pl \y -> negate (1 - y) |
| 2026-02-15 23:02:08 +0100 | <larsivi> | ok, so slowly starting to understand this :) At least I have something that works. Thanks again! |
| 2026-02-15 22:56:18 +0100 | <mauke> | (-) x = (\y -> x - y) |
| 2026-02-15 22:55:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-15 22:55:33 +0100 | <int-e> | a - b = -(b - a) is elementary |
| 2026-02-15 22:55:23 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-15 22:54:59 +0100 | <larsivi> | yeah, that turns out to negate the result |
| 2026-02-15 22:54:34 +0100 | <lambdabot> | [43,-41] |
| 2026-02-15 22:54:33 +0100 | <mauke> | > sequence [(+1), ((-) 1)] 42 |
| 2026-02-15 22:54:18 +0100 | <lambdabot> | [43,-41] |
| 2026-02-15 22:54:17 +0100 | <mauke> | > sequence [(1+), (1-)] 42 |
| 2026-02-15 22:54:00 +0100 | <monochrom> | If x=1/2, then 1-x = x, so (1-) looks like doing nothing. |
| 2026-02-15 22:53:11 +0100 | <larsivi> | ah, so it is the order that is wrong? |
| 2026-02-15 22:52:41 +0100 | <mauke> | that's equivalent to [(1+), (1-)] |
| 2026-02-15 22:51:53 +0100 | <larsivi> | I returned stuff like [(+1), ((-)1)] that type checked against [Int -> Int]. I was able to [op1,op2] ==> foo (op1 x) (op2 y), but the value was not changed with the subtraction unless I rewrote it to (subtract 1). |
| 2026-02-15 22:51:41 +0100 | <lambdabot> | 0 |
| 2026-02-15 22:51:40 +0100 | <mauke> | > id 0 --user |
| 2026-02-15 22:48:54 +0100 | <monochrom> | Haskell is so negative! So many ways to say subtraction. >:) |
| 2026-02-15 22:48:27 +0100 | <lambdabot> | 1 |
| 2026-02-15 22:48:26 +0100 | <monochrom> | > - negate 1 |
| 2026-02-15 22:48:07 +0100 | <monochrom> | heh |
| 2026-02-15 22:47:59 +0100 | <lambdabot> | 1 |