Newest at the top
2025-08-14 11:45:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-08-14 11:43:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
2025-08-14 11:42:00 +0200 | Miroboru | (~myrvoll@84.215.249.36) (Ping timeout: 252 seconds) |
2025-08-14 11:35:02 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 260 seconds) |
2025-08-14 11:34:20 +0200 | Miroboru | (~myrvoll@84.215.249.36) Miroboru |
2025-08-14 11:33:28 +0200 | michalz | (~michalz@185.246.207.221) |
2025-08-14 11:30:58 +0200 | Miroboru | (~myrvoll@84.215.249.36) (Ping timeout: 255 seconds) |
2025-08-14 11:30:53 +0200 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
2025-08-14 11:29:39 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-08-14 11:27:10 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-08-14 11:09:17 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
2025-08-14 11:07:16 +0200 | trickard_ | (~trickard@cpe-86-98-47-163.wireline.com.au) |
2025-08-14 11:07:02 +0200 | trickard | (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-14 10:51:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-14 10:28:55 +0200 | j0lol | (~j0lol@132.145.17.236) j0lol |
2025-08-14 10:28:41 +0200 | j0lol | (~j0lol@132.145.17.236) (Server closed connection) |
2025-08-14 10:27:57 +0200 | fizbin | (~fizbin@user/fizbin) (Ping timeout: 276 seconds) |
2025-08-14 10:24:44 +0200 | ol0ck | (~quassel@user/ol0ck) (Ping timeout: 260 seconds) |
2025-08-14 10:20:23 +0200 | fizbin | (~fizbin@user/fizbin) fizbin |
2025-08-14 10:11:35 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
2025-08-14 10:11:03 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) (Ping timeout: 252 seconds) |
2025-08-14 10:02:43 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-08-14 10:01:42 +0200 | chele | (~chele@user/chele) chele |
2025-08-14 09:46:48 +0200 | fp | (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp |
2025-08-14 09:46:27 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ad02:3d09:c5b5:9908) |
2025-08-14 09:44:05 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-08-14 09:42:15 +0200 | jreicher | (~user@user/jreicher) (Ping timeout: 244 seconds) |
2025-08-14 09:39:18 +0200 | <haskellbridge> | <Axman6> Yeah, that's kind of the opposite of what I want. I want "instance (n' < n) => Num' (Index n) where fromInteger' :: Proxy n' -> Index n" - I want to pass in the literal the user has written, so "40 :: Index 32" means "fromInteger' (Proxy @40) :: Index 32" which would fail to compile because there's no instance for "40 < 32 => Num' (Index 32)" |
2025-08-14 09:35:58 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-08-14 09:22:09 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-08-14 09:16:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-14 09:12:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-14 09:11:32 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-08-14 09:09:09 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-08-14 09:07:48 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-08-14 09:06:37 +0200 | acidjnk | (~acidjnk@p200300d6e7171985495adaceecd6b03f.dip0.t-ipconnect.de) acidjnk |
2025-08-14 09:06:28 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-08-14 09:05:41 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
2025-08-14 09:03:23 +0200 | takuan | (~takuan@d8d86b9e9.access.telenet.be) |
2025-08-14 09:02:24 +0200 | AlexZenon | (~alzenon@178.34.150.240) |
2025-08-14 09:01:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-14 09:00:45 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-14 09:00:04 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-14 08:56:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-14 08:54:37 +0200 | AlexZenon | (~alzenon@178.34.150.240) (Ping timeout: 260 seconds) |
2025-08-14 08:50:48 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
2025-08-14 08:48:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-08-14 08:48:42 +0200 | ft | (~ft@p508dba54.dip0.t-ipconnect.de) (Quit: leaving) |
2025-08-14 08:48:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-08-14 08:48:03 +0200 | weary-traveler | (~user@user/user363627) user363627 |