| 2025-08-14 00:09:15 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 252 seconds) |
| 2025-08-14 00:09:48 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-08-14 00:10:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 00:11:17 +0200 | Igloo | (~ian@45.130.105.70) Igfoo |
| 2025-08-14 00:16:49 +0200 | Igloo | (~ian@45.130.105.70) (Ping timeout: 248 seconds) |
| 2025-08-14 00:17:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-14 00:17:36 +0200 | Igloo | (~ian@81.2.99.210) |
| 2025-08-14 00:24:53 +0200 | batbyte | (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) |
| 2025-08-14 00:25:57 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 260 seconds) |
| 2025-08-14 00:26:44 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Remote host closed the connection) |
| 2025-08-14 00:27:09 +0200 | pera | (~pera@user/pera) (Quit: leaving) |
| 2025-08-14 00:27:10 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-08-14 00:27:53 +0200 | Igloo | (~ian@45.130.105.70) Igfoo |
| 2025-08-14 00:28:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 00:33:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 00:34:08 +0200 | Igloo | (~ian@45.130.105.70) (Ping timeout: 245 seconds) |
| 2025-08-14 00:36:16 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
| 2025-08-14 00:38:17 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-14 00:40:38 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-08-14 00:41:32 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-08-14 00:44:58 +0200 | jreicher | (~user@user/jreicher) jreicher |
| 2025-08-14 00:47:40 +0200 | rvalue- | rvalue |
| 2025-08-14 00:51:54 +0200 | batbyte_ | (~batbyte@52.sub-174-215-208.myvzw.com) |
| 2025-08-14 00:56:17 +0200 | batbyte | (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) (Ping timeout: 260 seconds) |
| 2025-08-14 01:03:09 +0200 | batbyte_ | (~batbyte@52.sub-174-215-208.myvzw.com) (Read error: Connection reset by peer) |
| 2025-08-14 01:05:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
| 2025-08-14 01:06:03 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-08-14 01:08:49 +0200 | yangby | (~secret@115.205.231.82) yangby |
| 2025-08-14 01:13:01 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-08-14 01:13:51 +0200 | DragonMaus | (~dragonmau@user/dragonmaus) DragonMaus |
| 2025-08-14 01:19:48 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-14 01:23:45 +0200 | weary-traveler | (~user@user/user363627) (Client Quit) |
| 2025-08-14 01:24:07 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-08-14 01:34:33 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Quit: WeeChat 4.1.1) |
| 2025-08-14 01:46:19 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2025-08-14 01:48:21 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-08-14 01:48:34 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
| 2025-08-14 01:49:41 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 248 seconds) |
| 2025-08-14 01:52:27 +0200 | sprotte24 | (~sprotte24@p200300d16f078c0059c6348cdb3f9f36.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-08-14 01:56:17 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2025-08-14 01:57:14 +0200 | acidjnk | (~acidjnk@p200300d6e7171939495adaceecd6b03f.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-08-14 01:57:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 01:57:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-08-14 02:00:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
| 2025-08-14 02:01:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 02:03:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-14 02:12:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 02:20:46 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-14 02:21:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 02:21:38 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-14 02:22:37 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c488:ca49:9294:78c2) (Ping timeout: 260 seconds) |
| 2025-08-14 02:24:55 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Client Quit) |
| 2025-08-14 02:32:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 02:33:21 +0200 | yo | (~yo@178.42.40.158.ipv4.supernova.orange.pl) (Ping timeout: 252 seconds) |
| 2025-08-14 02:34:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-14 02:35:27 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-08-14 02:37:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-14 02:37:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-08-14 02:38:11 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-08-14 02:38:35 +0200 | batbyte_ | (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) |
| 2025-08-14 02:42:57 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-08-14 02:48:05 +0200 | yo | (~yo@178.42.38.149.ipv4.supernova.orange.pl) ayu |
| 2025-08-14 02:48:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 02:52:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 03:03:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 03:08:39 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-14 03:09:40 +0200 | batbyte_ | (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) (Read error: Connection reset by peer) |
| 2025-08-14 03:10:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-14 03:21:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 03:21:55 +0200 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
| 2025-08-14 03:24:57 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-08-14 03:26:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-14 03:26:46 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-14 03:32:19 +0200 | ft | (~ft@p508dbd8e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-08-14 03:33:04 +0200 | sixteenrats | (~emelia@user/sixteenrats) (Quit: WeeChat 4.7.0) |
| 2025-08-14 03:34:56 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:a130:33a0:f4b6:f889) |
| 2025-08-14 03:34:56 +0200 | arandombit | (~arandombi@2603:7000:4600:ffbe:a130:33a0:f4b6:f889) (Changing host) |
| 2025-08-14 03:34:56 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-08-14 03:36:58 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-08-14 03:37:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 03:39:37 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-08-14 03:41:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-14 03:42:04 +0200 | <haskellbridge> | <Axman6> Has there ever been a proposal for an alternative to "fromInteger" which also accepts the input as a Nat? Something like "fromInteger' :: Num a => Proxy (n :: Nat) -> Integer -> a" (though I guess it also needs a sign, but ignoring that). GHC warns for overflowed literals for types like Word8, but it's not really accessible to mere mortals right? |
| 2025-08-14 03:47:12 +0200 | <EvanR> | greetings Axman6, may the grass be greener on the other side of the bridge |
| 2025-08-14 03:47:52 +0200 | <EvanR> | why does your fromInteger have 2 numeric inputs |
| 2025-08-14 03:48:45 +0200 | <haskellbridge> | <Axman6> Hmm, that's a point. I guess it could be something like "fromInteger' :: Num a => Proxy (Bool,n :: Nat) -> a" |
| 2025-08-14 03:52:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 03:53:37 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2025-08-14 03:54:12 +0200 | ft | (~ft@p508dba54.dip0.t-ipconnect.de) ft |
| 2025-08-14 03:56:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 03:58:29 +0200 | <Leary> | You can write `data SomeInt = Neg SomeNat | Pos SomeNat; instance Num SomeInt where { ... }`. |
| 2025-08-14 03:59:11 +0200 | Wanderer | (~wanderer@user/wanderer) (Server closed connection) |
| 2025-08-14 03:59:15 +0200 | phma | (~phma@host-67-44-208-71.hnremote.net) (Read error: Connection reset by peer) |
| 2025-08-14 04:00:00 +0200 | Wanderer | (~wanderer@user/wanderer) Wanderer |
| 2025-08-14 04:00:04 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-08-14 04:02:12 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-14 04:02:50 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-08-14 04:07:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-08-14 04:09:57 +0200 | davidlbowman | (~dlb@user/davidlbowman) (Ping timeout: 260 seconds) |
| 2025-08-14 04:11:07 +0200 | td_ | (~td@i5387090d.versanet.de) (Ping timeout: 260 seconds) |
| 2025-08-14 04:12:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 04:13:00 +0200 | td_ | (~td@i53870938.versanet.de) |