Newest at the top
| 2024-12-30 23:03:50 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2024-12-30 23:01:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-30 22:51:02 +0100 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2024-12-30 22:50:06 +0100 | jespada | (~jespada@2800:a4:134:c800:9545:728e:3c3e:1167) (Client Quit) |
| 2024-12-30 22:49:59 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 2024-12-30 22:48:00 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2024-12-30 22:47:40 +0100 | jespada | (~jespada@2800:a4:134:c800:9545:728e:3c3e:1167) jespada |
| 2024-12-30 22:45:29 +0100 | jespada_ | (~jespada@2800:a4:134:c800:9545:728e:3c3e:1167) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-12-30 22:41:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 22:38:32 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-30 22:36:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 22:36:08 +0100 | jespada | (~jespada@r167-63-17-65.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer) |
| 2024-12-30 22:36:06 +0100 | jespada_ | (~jespada@2800:a4:134:c800:9545:728e:3c3e:1167) jespada |
| 2024-12-30 22:26:54 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 22:24:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 22:24:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-12-30 22:20:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 22:16:48 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-12-30 22:14:01 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 22:13:20 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 22:12:30 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2024-12-30 22:12:10 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Read error: Connection reset by peer) |
| 2024-12-30 22:07:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-12-30 22:06:18 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-12-30 22:04:42 +0100 | tmr | tamer |
| 2024-12-30 22:03:10 +0100 | tmr | (~tamer@user/tamer) tamer |
| 2024-12-30 22:03:10 +0100 | tmr | (~tamer@5.2.74.82) (Changing host) |
| 2024-12-30 22:02:46 +0100 | <hellwolf> | closed type family can work too, you get a Bool kind and then you can write type classes of it |
| 2024-12-30 22:02:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 22:01:42 +0100 | CrunchyFlakes_ | (~CrunchyFl@ip4d14127c.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-12-30 22:00:58 +0100 | CrunchyFlakes | (~CrunchyFl@95.91.70.99) |
| 2024-12-30 22:00:57 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) |
| 2024-12-30 22:00:35 +0100 | <hellwolf> | statically decide the outout for you |
| 2024-12-30 22:00:05 +0100 | <hellwolf> | use typeclass |
| 2024-12-30 21:50:09 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-30 21:49:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-12-30 21:49:24 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2024-12-30 21:46:50 +0100 | euleritian | (~euleritia@dynamic-176-001-202-129.176.1.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-12-30 21:44:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-12-30 21:43:49 +0100 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) ft |
| 2024-12-30 21:42:11 +0100 | ft | (~ft@p3e9bc988.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2024-12-30 21:36:41 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-12-30 21:36:27 +0100 | califax | (~califax@user/califx) califx |
| 2024-12-30 21:35:36 +0100 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2024-12-30 21:34:59 +0100 | prasad | (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 245 seconds) |
| 2024-12-30 21:34:51 +0100 | AlexNoo_ | AlexNoo |
| 2024-12-30 21:34:37 +0100 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2024-12-30 21:33:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-12-30 21:32:24 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-12-30 21:31:05 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |