Newest at the top
2025-08-16 22:00:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-16 21:56:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-16 21:50:59 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds) |
2025-08-16 21:48:29 +0200 | remedan | (~remedan@78-80-80-127.customers.tmcz.cz) (Server closed connection) |
2025-08-16 21:46:27 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-08-16 21:44:55 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-08-16 21:35:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-16 21:34:35 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-08-16 21:32:30 +0200 | ft | (~ft@p200300cf3f165900e109d4f322676623.dip0.t-ipconnect.de) ft |
2025-08-16 21:31:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-16 21:27:36 +0200 | <hololeap> | instance Foldable (Const m) where foldMap _ _ = mempty |
2025-08-16 21:27:22 +0200 | <hololeap> | looks like Const |
2025-08-16 21:26:09 +0200 | ft | (~ft@p508db692.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-08-16 21:25:53 +0200 | <hololeap> | just curious, is there a data type that is Foldable and is always empty? i.e. toList x = [] |
2025-08-16 21:22:43 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
2025-08-16 21:21:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-08-16 21:20:36 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-08-16 21:15:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-16 21:08:36 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) (Ping timeout: 256 seconds) |
2025-08-16 21:06:08 +0200 | ss4 | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-08-16 21:05:36 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-08-16 21:03:07 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-08-16 21:00:43 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-16 21:00:03 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-16 20:53:38 +0200 | fp1 | fp |
2025-08-16 20:53:38 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 244 seconds) |
2025-08-16 20:50:15 +0200 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--19a.rev.dnainternet.fi) fp |
2025-08-16 20:49:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-08-16 20:47:25 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-08-16 20:45:55 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-16 20:44:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-16 20:33:30 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-08-16 20:27:17 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
2025-08-16 20:26:12 +0200 | poop254 | (~poop254@148.252.146.221) (Client Quit) |
2025-08-16 20:25:02 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
2025-08-16 20:24:28 +0200 | poop254 | (~poop254@148.252.146.221) |
2025-08-16 20:21:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-08-16 20:20:47 +0200 | qqe | (~qqq@185.54.20.59) (Quit: Lost terminal) |
2025-08-16 20:19:17 +0200 | whatsupboy | (~wuboy@user/scobydoo) (Quit: brb) |
2025-08-16 20:15:48 +0200 | acidjnk | (~acidjnk@p200300d6e717197388c3d57515e3973f.dip0.t-ipconnect.de) acidjnk |
2025-08-16 20:15:28 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-08-16 20:08:18 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-08-16 20:08:06 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-08-16 19:57:19 +0200 | ljdarj1 | ljdarj |
2025-08-16 19:57:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-08-16 19:53:37 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-08-16 19:52:06 +0200 | tv | (~tv@user/tv) tv |
2025-08-16 19:51:07 +0200 | athan | (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-08-16 19:45:14 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 260 seconds) |
2025-08-16 19:21:41 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |