Newest at the top
| 2025-11-22 04:45:32 +0100 | trickard_ | trickard |
| 2025-11-22 04:44:52 +0100 | trickard_ | (~trickard@cpe-87-98-47-163.wireline.com.au) |
| 2025-11-22 04:44:45 +0100 | <monochrom> | Actually I didn't think of that. Cool trick. :) |
| 2025-11-22 04:44:36 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
| 2025-11-22 04:42:32 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:f48e:62ec:f758:b0eb) |
| 2025-11-22 04:41:56 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:412b:3f2f:9bee:7b64) (Remote host closed the connection) |
| 2025-11-22 04:41:17 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-22 04:39:41 +0100 | <haskellbridge> | <Liamzee> i guess the biggest issue is freaking out newbies |
| 2025-11-22 04:39:23 +0100 | <haskellbridge> | <Liamzee> are there any reasons, like perofrmance, not to replace a long when sequence with traverse_ (uncurry when)? |
| 2025-11-22 04:38:08 +0100 | <jreicher> | :D |
| 2025-11-22 04:37:13 +0100 | <monochrom> | <troll>It just means "day" in German >:) </troll> |
| 2025-11-22 04:36:12 +0100 | Googulator40 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-22 04:35:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 04:35:50 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) |
| 2025-11-22 04:34:57 +0100 | <Leary> | jreicher: I imagine they meant something equivalent to `Type.Reflection.TypeRep`. |
| 2025-11-22 04:34:49 +0100 | <int-e> | I don't think it was anything concrete. It would conceptually be a GADT like data Tag t where Tag_Int :: Tag Int | Tag_List :: Tag t -> Tag [t] | ... |
| 2025-11-22 04:33:32 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-22 04:33:00 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 265 seconds) |
| 2025-11-22 04:31:57 +0100 | <jreicher> | Did they mean Data.Tagged? |
| 2025-11-22 04:31:34 +0100 | <jreicher> | Does anyone have a reference for the "Tag" that kuribas was talking about earlier? |
| 2025-11-22 04:29:43 +0100 | ubert1 | ubert |
| 2025-11-22 04:29:43 +0100 | ubert | (~Thunderbi@178.165.175.248.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2025-11-22 04:29:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 04:29:09 +0100 | Comstar | (~Comstar@user/Comstar) Comstar |
| 2025-11-22 04:27:19 +0100 | vardhan | (~vardhan@122.172.85.166) (Ping timeout: 246 seconds) |
| 2025-11-22 04:26:58 +0100 | ubert1 | (~Thunderbi@77.119.163.162.wireless.dyn.drei.com) ubert |
| 2025-11-22 04:24:25 +0100 | bggd | (~bgg@2a01:e0a:819:1510:ad2b:2815:ce76:fa73) |
| 2025-11-22 04:22:08 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-11-22 04:21:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2025-11-22 04:20:27 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2025-11-22 04:18:56 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-22 04:18:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-22 04:17:05 +0100 | vardhan | (~vardhan@122.172.85.166) |
| 2025-11-22 04:14:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 04:06:10 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 04:03:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 03:58:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 03:48:00 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-22 03:47:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-22 03:43:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 03:36:06 +0100 | Ranhir | (~Ranhir@157.97.53.139) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-11-22 03:34:07 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 03:32:40 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:412b:3f2f:9bee:7b64) |
| 2025-11-22 03:32:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-22 03:32:21 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:3b3f:4318:37b5:e2ae) (Remote host closed the connection) |
| 2025-11-22 03:30:37 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 03:27:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 03:23:44 +0100 | trickard_ | (~trickard@cpe-88-98-47-163.wireline.com.au) |
| 2025-11-22 03:23:30 +0100 | trickard | (~trickard@cpe-88-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-22 03:16:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |