Newest at the top
| 2026-02-16 01:10:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-16 01:08:49 +0100 | <EvanR> | so you want to subtract a number by 1 let me first introduce you to some category theory |
| 2026-02-16 00:59:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-16 00:59:04 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2026-02-16 00:54:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-16 00:50:00 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-16 00:45:25 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-02-16 00:43:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-16 00:41:37 +0100 | michalz | (~michalz@185.246.207.201) |
| 2026-02-16 00:41:11 +0100 | michalz | (~michalz@185.246.207.205) (Read error: Connection reset by peer) |
| 2026-02-16 00:39:54 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-16 00:38:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-16 00:36:33 +0100 | emmanuelux | (~em@user/emmanuelux) (Read error: Connection reset by peer) |
| 2026-02-16 00:27:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-16 00:22:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-16 00:12:41 +0100 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-16 00:12:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-16 00:08:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4c61:e2e8:1826:9093) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-16 00:07:46 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 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) |