Newest at the top
2025-03-28 02:06:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-28 02:06:25 +0100 | <geekosaur> | (the in-channel help isn't so helpful, you might prefer https://github.com/lambdabot/lambdabot/pull/205/files) |
2025-03-28 02:05:38 +0100 | <anselmschueler> | ok |
2025-03-28 02:05:36 +0100 | <anselmschueler> | oh |
2025-03-28 02:05:31 +0100 | <geekosaur> | it only supports :t and :k (from ghci) plus "> " to evaluate expressions, otherwise commands start with @ |
2025-03-28 02:04:30 +0100 | <anselmschueler> | hm |
2025-03-28 02:04:24 +0100 | <anselmschueler> | :? |
2025-03-28 02:04:21 +0100 | <anselmschueler> | :h |
2025-03-28 02:01:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
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 +0100 | anselmschueler | (~quassel@user/schuelermine) schuelermine |
2025-03-28 01:55:57 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-03-28 01:55:34 +0100 | anselmschueler | (~quassel@user/schuelermine) (Remote host closed the connection) |
2025-03-28 01:54:15 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f64e0b826361c3e438a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-03-28 01:51:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-03-28 01:46:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-28 01:44:34 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
2025-03-28 01:41:52 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 252 seconds) |
2025-03-28 01:39:30 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-03-28 01:36:12 +0100 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Quit: Client closed) |
2025-03-28 01:35:21 +0100 | st_aldini | (~Thunderbi@136.48.22.91) (Remote host closed the connection) |
2025-03-28 01:34:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-28 01:32:03 +0100 | malte | (~malte@mal.tc) malte |
2025-03-28 01:30:30 +0100 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 276 seconds) |
2025-03-28 01:28:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-28 01:27:51 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) tdammers |
2025-03-28 01:17:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-03-28 01:14:56 +0100 | tdammers | (~tdammers@110-136-178-143.ftth.glasoperator.nl) (Ping timeout: 265 seconds) |
2025-03-28 01:12:40 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-28 01:12:23 +0100 | merijn | (~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 +0100 | geekosaur | waves |
2025-03-28 01:05:55 +0100 | xff0x | (~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 +0100 | sprotte24 | (~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 +0100 | anselmschueler | (~quassel@user/schuelermine) schuelermine |
2025-03-28 01:01:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-28 00:56:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-03-28 00:52:44 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
2025-03-28 00:48:29 +0100 | xff0x | (~xff0x@2405:6580:b080:900:879:4ff2:52d5:5929) (Quit: xff0x) |
2025-03-28 00:46:01 +0100 | malte | (~malte@mal.tc) malte |
2025-03-28 00:45:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |