Newest at the top
| 2025-12-17 15:51:37 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-17 15:45:20 +0100 | mrvdb | (~mrvdb@185.92.221.186) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 15:35:16 +0100 | img | (~img@user/img) img |
| 2025-12-17 15:34:01 +0100 | img | (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 15:33:42 +0100 | sp1ff | (~user@2607:fb90:3390:2ed4:dd14:a562:533d:55cc) sp1ff |
| 2025-12-17 15:33:30 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 15:31:07 +0100 | mrvdb | (~mrvdb@185.92.221.186) mrvdb |
| 2025-12-17 15:30:20 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-17 15:28:54 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-17 15:28:04 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-12-17 15:26:05 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-12-17 15:25:23 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 15:24:37 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 15:24:01 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 264 seconds) |
| 2025-12-17 15:23:30 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 15:23:16 +0100 | trickard | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 15:22:36 +0100 | Googulator | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-17 15:22:13 +0100 | Googulator | (~Googulato@80-95-87-105.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-17 15:19:02 +0100 | Everything | (~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving) |
| 2025-12-17 15:18:37 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-17 15:15:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 15:14:41 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-12-17 14:48:31 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-12-17 14:45:44 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 14:37:43 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 14:35:14 +0100 | tromp | (~textual@2001:1c00:3487:1b00:681b:ee7b:c126:c8ee) |
| 2025-12-17 14:28:26 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-12-17 14:26:58 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.7.2) |
| 2025-12-17 14:22:39 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-17 14:22:09 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::c593) (Ping timeout: 250 seconds) |
| 2025-12-17 14:09:10 +0100 | trickard_ | trickard |
| 2025-12-17 14:06:49 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-17 13:58:13 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1f37:fc57:df55:8ce4) |
| 2025-12-17 13:58:01 +0100 | <bwe> | tomsmeding: so, I might just opt for microlens, then |
| 2025-12-17 13:52:16 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-17 13:39:49 +0100 | <tomsmeding> | RebindableSyntax is an extremely heavy hammer |
| 2025-12-17 13:39:18 +0100 | <tomsmeding> | so it essentially assumes that you've imported Prelude |
| 2025-12-17 13:39:04 +0100 | <tomsmeding> | bwe: RebindableSyntax works by desugaring certain types of syntax to normal variable references instead; see https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/rebindable_syntax.html#extension-Re… |
| 2025-12-17 13:33:01 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-12-17 13:30:56 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-12-17 13:29:47 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-12-17 13:29:36 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Client Quit) |
| 2025-12-17 13:29:13 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-17 13:29:13 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-12-17 13:29:13 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-12-17 13:28:56 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) mrvdb |
| 2025-12-17 13:28:53 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-17 13:28:50 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-17 13:28:40 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-17 13:27:09 +0100 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |