2025/03/28

Newest at the top

2025-03-28 01:58:36 +0100 <lambdabot> Int -> (c -> c) -> c -> c
2025-03-28 01:58:35 +0100 <EvanR> :t \n f -> (!! n) . iterate f
2025-03-28 01:58:15 +0100 <lambdabot> Expected type: (a -> a) -> [c]
2025-03-28 01:58:15 +0100 <lambdabot> • Couldn't match type ‘a -> [a]’ with ‘[c]’
2025-03-28 01:58:15 +0100 <lambdabot> error:
2025-03-28 01:58:14 +0100 <EvanR> :t \n -> (!! n) . iterate
2025-03-28 01:58:11 +0100anselmschueler(~quassel@user/schuelermine) schuelermine
2025-03-28 01:55:57 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-03-28 01:55:34 +0100anselmschueler(~quassel@user/schuelermine) (Remote host closed the connection)
2025-03-28 01:54:15 +0100acidjnk(~acidjnk@p200300d6e71c4f64e0b826361c3e438a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-03-28 01:51:47 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-03-28 01:46:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 01:44:34 +0100olivial(~benjaminl@user/benjaminl) (Ping timeout: 260 seconds)
2025-03-28 01:41:52 +0100aetepe(~aetepe@188.119.58.34) (Ping timeout: 252 seconds)
2025-03-28 01:39:30 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-03-28 01:36:12 +0100jacopovalanzano(~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed)
2025-03-28 01:35:21 +0100st_aldini(~Thunderbi@136.48.22.91) (Remote host closed the connection)
2025-03-28 01:34:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-28 01:32:03 +0100malte(~malte@mal.tc) malte
2025-03-28 01:30:30 +0100toby-bro(~toby-bro@user/toby-bro) (Ping timeout: 276 seconds)
2025-03-28 01:28:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 01:27:51 +0100tdammers(~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers
2025-03-28 01:17:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-28 01:14:56 +0100tdammers(~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 265 seconds)
2025-03-28 01:12:40 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-28 01:12:23 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 01:08:19 +0100 <anselmschueler> specifically when I wrote this rejected proposal: https://github.com/haskell/core-libraries-committee/issues/72
2025-03-28 01:07:59 +0100 <anselmschueler> I seem to remember it wasn’t so some time ago
2025-03-28 01:07:51 +0100 <anselmschueler> does anyone know when stimes was changed to document that it’ll work with 0 only for some implementors, and that stimesMonoid was added to enforce stimesMonoid 0 = mempty?
2025-03-28 01:06:05 +0100geekosaurwaves
2025-03-28 01:05:55 +0100xff0x(~xff0x@2405:6580:b080:900:879:4ff2:52d5:5929)
2025-03-28 01:05:28 +0100 <anselmschueler> ’s been a while
2025-03-28 01:05:24 +0100sprotte24(~sprotte24@p200300d16f0a80004582713a1a0df846.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-03-28 01:05:24 +0100 <anselmschueler> Hi
2025-03-28 01:05:23 +0100anselmschueler(~quassel@user/schuelermine) schuelermine
2025-03-28 01:01:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-28 00:56:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 00:52:44 +0100malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2025-03-28 00:48:29 +0100xff0x(~xff0x@2405:6580:b080:900:879:4ff2:52d5:5929) (Quit: xff0x)
2025-03-28 00:46:01 +0100malte(~malte@mal.tc) malte
2025-03-28 00:45:54 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-03-28 00:43:56 +0100malte(~malte@mal.tc) (Ping timeout: 252 seconds)
2025-03-28 00:40:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 00:36:43 +0100vavakado(~vavakado@user/Vavakado) (Quit: Lost terminal)
2025-03-28 00:29:16 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-03-28 00:24:10 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-03-28 00:24:01 +0100malte(~malte@mal.tc) malte
2025-03-28 00:22:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-03-28 00:15:31 +0100HelloImSteven(~HelloImSt@user/HelloImSteven) (Quit: HelloImSteven)
2025-03-28 00:11:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)