Logs: liberachat/#haskell
| 2025-08-14 00:38:11 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-14 00:38:35 | → | batbyte_ joins (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) |
| 2025-08-14 00:42:57 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 2025-08-14 00:48:05 | → | yo joins (~yo@178.42.38.149.ipv4.supernova.orange.pl) |
| 2025-08-14 00:48:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 00:52:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 01:03:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 01:08:39 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-08-14 01:09:40 | × | batbyte_ quits (~batbyte@172-79-46-231.nrwc.ny.frontiernet.net) (Read error: Connection reset by peer) |
| 2025-08-14 01:10:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-14 01:21:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 01:21:55 | → | jackdk joins (uid373013@cssa/life/jackdk) |
| 2025-08-14 01:24:57 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-08-14 01:26:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-14 01:26:46 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-08-14 01:32:19 | × | ft quits (~ft@p508dbd8e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-08-14 01:33:04 | × | sixteenrats quits (~emelia@user/sixteenrats) (Quit: WeeChat 4.7.0) |
| 2025-08-14 01:34:56 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:a130:33a0:f4b6:f889) |
| 2025-08-14 01:34:56 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:a130:33a0:f4b6:f889) (Changing host) |
| 2025-08-14 01:34:56 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-08-14 01:36:58 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-08-14 01:37:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 01:39:37 | → | ystael joins (~ystael@user/ystael) |
| 2025-08-14 01:41:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-08-14 01:42:04 | <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 01:47:12 | <EvanR> | greetings Axman6, may the grass be greener on the other side of the bridge |
| 2025-08-14 01:47:52 | <EvanR> | why does your fromInteger have 2 numeric inputs |
| 2025-08-14 01:48:45 | <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 01:52:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 01:53:37 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2025-08-14 01:54:12 | → | ft joins (~ft@p508dba54.dip0.t-ipconnect.de) |
| 2025-08-14 01:56:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 01:58:29 | <Leary> | You can write `data SomeInt = Neg SomeNat | Pos SomeNat; instance Num SomeInt where { ... }`. |
| 2025-08-14 01:59:11 | × | Wanderer quits (~wanderer@user/wanderer) (Server closed connection) |
| 2025-08-14 01:59:15 | × | phma quits (~phma@host-67-44-208-71.hnremote.net) (Read error: Connection reset by peer) |
| 2025-08-14 02:00:00 | → | Wanderer joins (~wanderer@user/wanderer) |
| 2025-08-14 02:00:04 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-08-14 02:02:12 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-08-14 02:02:50 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-08-14 02:07:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 02:09:57 | × | davidlbowman quits (~dlb@user/davidlbowman) (Ping timeout: 260 seconds) |
| 2025-08-14 02:11:07 | × | td_ quits (~td@i5387090d.versanet.de) (Ping timeout: 260 seconds) |
| 2025-08-14 02:12:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 02:13:00 | → | td_ joins (~td@i53870938.versanet.de) |
| 2025-08-14 02:22:41 | × | sprout quits (~sprout@84-80-106-227.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 2025-08-14 02:23:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 02:24:32 | → | sprout joins (~sprout@2a02-a448-3a80-0-c61c-b515-5509-58e7.fixed6.kpn.net) |
| 2025-08-14 02:26:25 | × | down200 quits (~down200@shell.lug.mtu.edu) (Ping timeout: 248 seconds) |
| 2025-08-14 02:28:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 02:28:09 | → | down200 joins (~down200@shell.lug.mtu.edu) |
| 2025-08-14 02:38:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 02:45:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 02:49:52 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-08-14 02:53:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 02:57:50 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-08-14 02:58:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-08-14 03:01:36 | → | weary-traveler joins (~user@user/user363627) |
| 2025-08-14 03:02:06 | × | weary-traveler quits (~user@user/user363627) (Client Quit) |
| 2025-08-14 03:02:22 | → | weary-traveler joins (~user@user/user363627) |
| 2025-08-14 03:03:31 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2025-08-14 03:04:33 | → | phma joins (~phma@2001:5b0:210b:ad88:aa04:c457:74b0:5887) |
| 2025-08-14 03:09:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 03:09:33 | → | phma_ joins (phma@2001:5b0:211f:2bc8:578f:fe26:99a2:5bbd) |
| 2025-08-14 03:10:06 | × | phma quits (~phma@2001:5b0:210b:ad88:aa04:c457:74b0:5887) (Read error: Connection reset by peer) |
| 2025-08-14 03:13:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-14 03:14:34 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-08-14 03:15:48 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-14 03:16:29 | → | aforemny_ joins (~aforemny@2001:9e8:6ce8:1800:d6a7:aaeb:8c84:6bc7) |
| 2025-08-14 03:17:00 | × | aforemny quits (~aforemny@i59F4C4EA.versanet.de) (Ping timeout: 252 seconds) |
| 2025-08-14 03:19:09 | → | Square2 joins (~Square@user/square) |
| 2025-08-14 03:19:58 | × | phma_ quits (phma@2001:5b0:211f:2bc8:578f:fe26:99a2:5bbd) (Read error: Connection reset by peer) |
| 2025-08-14 03:21:28 | → | phma_ joins (phma@2001:5b0:211b:d038:6b7f:3fe1:de35:dfff) |
| 2025-08-14 03:22:52 | × | Square quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-08-14 03:24:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 03:25:39 | × | phma_ quits (phma@2001:5b0:211b:d038:6b7f:3fe1:de35:dfff) (Read error: Connection reset by peer) |
| 2025-08-14 03:29:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 03:33:35 | → | phma_ joins (~phma@host-67-44-208-76.hnremote.net) |
| 2025-08-14 03:35:58 | × | ycp quits (~znc@user/dragestil) (Server closed connection) |
| 2025-08-14 03:36:19 | → | ycp joins (~znc@user/dragestil) |
| 2025-08-14 03:40:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 03:44:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 03:46:56 | × | phma_ quits (~phma@host-67-44-208-76.hnremote.net) (Read error: Connection reset by peer) |
| 2025-08-14 03:52:03 | × | feetwind quits (~mike@user/feetwind) (Server closed connection) |
| 2025-08-14 03:52:21 | → | feetwind joins (~mike@user/feetwind) |
| 2025-08-14 03:55:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 03:59:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-14 04:04:58 | × | Square2 quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 2025-08-14 04:06:08 | × | Lycurgus quits (~juan@user/Lycurgus) (Ping timeout: 252 seconds) |
| 2025-08-14 04:10:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 04:15:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-08-14 04:18:50 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 04:19:03 | → | trickard joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 04:24:30 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-08-14 04:26:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 04:29:12 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-08-14 04:33:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-08-14 04:40:09 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 2025-08-14 04:41:36 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 2025-08-14 04:44:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-14 04:48:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
All times are in UTC.