Newest at the top
| 2024-11-20 11:24:03 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-20 11:16:23 +0100 | <int-e> | ISTR old versions of GHC not shipping Arrow at all |
| 2024-11-20 11:15:06 +0100 | <jackdk> | ISTR old versions of GHC shipping class Arrow without a superclass |
| 2024-11-20 11:14:30 +0100 | Guest68 | (~Guest68@2405:201:12:391a:c627:4da6:1387:26ef) (Quit: Client closed) |
| 2024-11-20 11:14:21 +0100 | aforemny_ | (~aforemny@2001:9e8:6cf0:9800:3be1:8adc:eacb:81a7) aforemny |
| 2024-11-20 11:14:18 +0100 | aforemny | (~aforemny@i59F4C7F0.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-20 11:12:09 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-20 11:09:42 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-20 11:07:32 +0100 | aforemny | (~aforemny@i59F4C7F0.versanet.de) aforemny |
| 2024-11-20 11:05:48 +0100 | chele | (~chele@user/chele) chele |
| 2024-11-20 11:03:30 +0100 | mari-estel | (~mari-este@user/mari-estel) (Quit: shitty teams) |
| 2024-11-20 10:59:10 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 252 seconds) |
| 2024-11-20 10:57:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-20 10:54:41 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-20 10:54:34 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-20 10:54:28 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-11-20 10:54:12 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-11-20 10:54:11 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2024-11-20 10:54:11 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-11-20 10:52:09 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-20 10:50:00 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-20 10:48:59 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-11-20 10:46:07 +0100 | <kaol> | It could be that it's just that I had been introduced to arrows with a simple "arr is like lifting a function to it" and I didn't get the bigger picture then. |
| 2024-11-20 10:46:06 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-11-20 10:43:31 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-11-20 10:42:05 +0100 | <ncf> | there aren't many of those... |
| 2024-11-20 10:41:52 +0100 | <ncf> | what, like arr :: (b -> c) -> b -> c ? |
| 2024-11-20 10:40:55 +0100 | <kaol> | History question: Was there a time when Arrow just assumed arr used (->) instead of being a type class taking a Category? |
| 2024-11-20 10:38:27 +0100 | <[exa]> | like, not a big issue, just that the attempts here get auto-streamed to at least 500 people :D |
| 2024-11-20 10:37:21 +0100 | <Guest68> | Oh, thank you. I'll try that. |
| 2024-11-20 10:37:04 +0100 | <[exa]> | Guest68: you may also do `/query lambdabot` and ask in private |
| 2024-11-20 10:36:12 +0100 | <lambdabot> | f . evaluate = evaluate . $map_Expr f |
| 2024-11-20 10:36:12 +0100 | <Guest68> | @free evaluate :: Expr a -> a |
| 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…) |