Newest at the top
| 2024-12-30 23:16:52 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-12-30 23:16:51 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2024-12-30 23:14:46 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2024-12-30 23:13:18 +0100 | homo | (~homo@user/homo) homo |
| 2024-12-30 23:12:54 +0100 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2024-12-30 23:11:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-12-30 23:09:56 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2024-12-30 23:07:51 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Ping timeout: 246 seconds) |
| 2024-12-30 23:04:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 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) |