Newest at the top
| 2026-04-07 09:17:40 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 245 seconds) |
| 2026-04-07 09:09:55 +0000 | puke | (~puke@user/puke) puke |
| 2026-04-07 09:09:22 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-07 09:06:21 +0000 | <gentauro> | ski: empty set? |
| 2026-04-07 09:00:51 +0000 | sm__ | (~sm@66.8.200.171) (Ping timeout: 246 seconds) |
| 2026-04-07 08:58:27 +0000 | <ski> | "if the argument is zero-size, does it exist?" -- yes |
| 2026-04-07 08:48:33 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5083e6a4b02e30f35b3.dip0.t-ipconnect.de) |
| 2026-04-07 08:46:37 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 2026-04-07 08:46:00 +0000 | xff0x_ | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-04-07 08:30:44 +0000 | wickedja` | (~user@2605:8d80:5430:835f:a541:6494:f3cf:c7d9) (Remote host closed the connection) |
| 2026-04-07 08:22:07 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-04-07 08:16:31 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-07 08:16:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:2967:7abf:4b48:f685) (Changing host) |
| 2026-04-07 08:16:31 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:2967:7abf:4b48:f685) |
| 2026-04-07 08:09:46 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-04-07 08:09:09 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-07 08:04:21 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-04-07 08:02:02 +0000 | ft | (~ft@p508db341.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-07 07:39:23 +0000 | danza | (~danza@user/danza) danza |
| 2026-04-07 07:29:53 +0000 | craunts795335385 | (~craunts@152.32.99.2) |
| 2026-04-07 07:24:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-07 07:19:04 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-07 07:18:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-07 07:15:00 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-04-07 07:08:43 +0000 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) (Ping timeout: 264 seconds) |
| 2026-04-07 07:08:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-07 07:07:56 +0000 | <haskellbridge> | <Liamzee> i assume it just defaults foldr with a default value of False |
| 2026-04-07 07:07:20 +0000 | <haskellbridge> | <Liamzee> null is in the Foldable typeclass |
| 2026-04-07 07:06:40 +0000 | wickedja` | (~user@2605:8d80:5430:835f:a541:6494:f3cf:c7d9) |
| 2026-04-07 07:05:16 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-07 07:05:16 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:2967:7abf:4b48:f685) (Changing host) |
| 2026-04-07 07:05:16 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:2967:7abf:4b48:f685) |
| 2026-04-07 07:03:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-07 06:52:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-07 06:50:49 +0000 | Comstar | (~Comstar@user/Comstar) (Quit: Leaving) |
| 2026-04-07 06:48:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-07 06:41:12 +0000 | lol__ | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) (Ping timeout: 246 seconds) |
| 2026-04-07 06:39:41 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) |
| 2026-04-07 06:37:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-07 06:34:17 +0000 | lol_ | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) (Ping timeout: 248 seconds) |
| 2026-04-07 06:33:26 +0000 | traxex | (traxex@user/traxex) traxex |
| 2026-04-07 06:32:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-07 06:32:26 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-07 06:31:08 +0000 | lol__ | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) |
| 2026-04-07 06:28:15 +0000 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2026-04-07 06:27:59 +0000 | <gentauro> | Liamzee: In order to be Foldable, isn't there are req for the types to a `Monoid` (`mempty`)? |
| 2026-04-07 06:26:26 +0000 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-04-07 06:23:35 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-07 06:22:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-07 06:20:31 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |