Newest at the top
| 2024-11-20 10:30:02 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-20 10:27:23 +0100 | <lambdabot> | showList = showList . $map f |
| 2024-11-20 10:27:23 +0100 | <Guest68> | @free showList :: [a] -> String |
| 2024-11-20 10:27:12 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-11-20 10:25:15 +0100 | <lambdabot> | showList . (.) f = (.) (showList f) . $map |
| 2024-11-20 10:25:15 +0100 | <Guest68> | @free showList :: (a -> String) -> [a] -> String |
| 2024-11-20 10:24:49 +0100 | Guest68 | (~Guest68@2405:201:12:391a:c627:4da6:1387:26ef) |
| 2024-11-20 10:17:18 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-11-20 10:16:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-20 10:10:39 +0100 | evocatus | (~evocatus@2a02:a210:20c2:d600:1496:234e:dc9f:5868) (Ping timeout: 246 seconds) |
| 2024-11-20 10:10:02 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 252 seconds) |
| 2024-11-20 10:08:11 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-20 10:06:21 +0100 | evocatus | (~evocatus@2a02:a210:20c2:d600:1496:234e:dc9f:5868) evocatus |
| 2024-11-20 10:03:48 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-20 10:03:35 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-20 09:58:44 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-20 09:58:17 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-20 09:57:37 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-20 09:57:28 +0100 | <bwe> | dminuoso: then, what's the essence of it that's relevant today? |
| 2024-11-20 09:53:20 +0100 | ft | (~ft@p508dbc6e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-11-20 09:51:26 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-11-20 09:50:48 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-11-20 09:50:16 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-20 09:49:56 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-11-20 09:40:20 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 265 seconds) |
| 2024-11-20 09:39:22 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-20 09:39:06 +0100 | euleritian | (~euleritia@dynamic-176-006-132-236.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-20 09:38:45 +0100 | euleritian | (~euleritia@dynamic-176-006-132-236.176.6.pool.telefonica.de) |
| 2024-11-20 09:38:33 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-20 09:36:37 +0100 | Perseverance | (~Persevera@2.219.56.221) |
| 2024-11-20 09:31:40 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-20 09:28:40 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-11-20 09:21:52 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-20 09:19:21 +0100 | Perseverance | (~Persevera@2.219.56.221) (Ping timeout: 252 seconds) |
| 2024-11-20 09:18:28 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2024-11-20 09:18:23 +0100 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2024-11-20 09:14:58 +0100 | <haskellbridge> | But now I am just splitting hairs. |
| 2024-11-20 09:14:56 +0100 | <haskellbridge> | <hellwolf> Also, if I take that thing in a separate module of its own, then I can be more comfortable letting module export list to be inexplicit. |
| 2024-11-20 09:10:18 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2024-11-20 09:08:11 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/lsAZXCpcYCpLcHAgzwCoIQAw/t5OqeCcG3NM (3 lines) |
| 2024-11-20 09:08:11 +0100 | <haskellbridge> | <hellwolf> edwardk: yes, that's true. |
| 2024-11-20 09:07:18 +0100 | Perseverance | (~Persevera@2.219.56.221) |
| 2024-11-20 09:04:24 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 252 seconds) |
| 2024-11-20 09:01:36 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-11-20 09:01:12 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2024-11-20 09:00:56 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2024-11-20 08:58:11 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2024-11-20 08:57:43 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-20 08:46:29 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 248 seconds) |
| 2024-11-20 08:45:17 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |