Newest at the top
2025-09-28 00:17:20 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
2025-09-28 00:15:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-28 00:15:14 +0200 | <EvanR> | haskell really needs to push "functor tutorials" more |
2025-09-28 00:13:32 +0200 | <EvanR> | assuming it's already a functor |
2025-09-28 00:13:13 +0200 | <EvanR> | so basically, it doesn't need a new abstraction you just have to define it |
2025-09-28 00:12:55 +0200 | <EvanR> | newsham, the standardish library "linear" has a function (*^) with type (Functor f, Num a) => a -> f a -> f a |
2025-09-28 00:12:49 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-28 00:10:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-28 00:06:31 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
2025-09-28 00:03:16 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
2025-09-28 00:01:34 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.7.1) |
2025-09-28 00:01:02 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-28 00:00:40 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
2025-09-28 00:00:28 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-09-27 23:59:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-09-27 23:57:41 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-27 23:55:21 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-27 23:55:06 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
2025-09-27 23:54:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-27 23:53:03 +0200 | <newsham> | do std libraries have an abstraction for things that can be scaled by a real? |
2025-09-27 23:47:53 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-27 23:47:52 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5957:1ac7:2381:6b22) (Changing host) |
2025-09-27 23:47:52 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:5957:1ac7:2381:6b22) |
2025-09-27 23:47:35 +0200 | newsham | (~newsham@2603:800c:2c01:6825:a538:c286:d6c2:5fcd) |
2025-09-27 23:46:43 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
2025-09-27 23:43:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-27 23:40:40 +0200 | Googulator84 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
2025-09-27 23:40:39 +0200 | Googulator64 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
2025-09-27 23:38:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-27 23:28:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-27 23:23:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-27 23:21:18 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-27 23:20:59 +0200 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
2025-09-27 23:19:06 +0200 | renatofdds | (~user@user/renatofdds) (Remote host closed the connection) |
2025-09-27 23:18:02 +0200 | renatofdds | (~user@user/renatofdds) renatofdds |
2025-09-27 23:16:36 +0200 | renatofdds | (~user@user/renatofdds) () |
2025-09-27 23:15:39 +0200 | Googulator69 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
2025-09-27 23:15:39 +0200 | Googulator64 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
2025-09-27 23:14:55 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) |
2025-09-27 23:14:41 +0200 | trickard_ | (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-27 23:14:28 +0200 | renatofdds | (~user@user/renatofdds) renatofdds |
2025-09-27 23:13:53 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b023:5780:967f:79f8) |
2025-09-27 23:12:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:b023:5780:967f:79f8) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-27 23:10:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-27 23:05:59 +0200 | Googulator69 | (~Googulato@193-226-241-153.pool.digikabel.hu) |
2025-09-27 23:05:47 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-09-27 23:05:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-27 23:05:40 +0200 | Googulator69 | (~Googulato@193-226-241-153.pool.digikabel.hu) (Quit: Client closed) |
2025-09-27 23:03:30 +0200 | Everything | (~Everythin@46.96.83.222) (Quit: leaving) |
2025-09-27 23:03:28 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |