Newest at the top
| 2025-09-29 13:02:00 +0200 | <yin> | useful and ubiquitous binary operation that I feel is awkward to write as prefix, not unlike `on` |
| 2025-09-29 13:00:51 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-09-29 12:57:25 +0200 | <merijn> | And that notation trivialiases to any arity |
| 2025-09-29 12:56:42 +0200 | <lambdabot> | Applicative f => (a1 -> a2 -> b) -> f a1 -> f a2 -> f b |
| 2025-09-29 12:56:41 +0200 | <merijn> | :t let lift f x y = f <$> x <*> y in lift |
| 2025-09-29 12:56:12 +0200 | <merijn> | yin: I mean, that's just a combination of <$> and <*>? |
| 2025-09-29 12:55:58 +0200 | <lambdabot> | Applicative f => (a -> b -> c) -> f a -> f b -> f c |
| 2025-09-29 12:55:58 +0200 | <merijn> | :t liftA2 |
| 2025-09-29 12:49:54 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-29 12:48:58 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 2025-09-29 12:48:07 +0200 | <yin> | it amazes daily how liftA2 is not an infix operator |
| 2025-09-29 12:46:30 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 12:44:30 +0200 | justache | (~justache@user/justache) justache |
| 2025-09-29 12:44:29 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-29 12:44:25 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-09-29 12:44:09 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-09-29 12:39:37 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2025-09-29 12:38:13 +0200 | justache | (~justache@user/justache) (Read error: Connection reset by peer) |
| 2025-09-29 12:38:05 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2025-09-29 12:36:01 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-29 12:30:50 +0200 | malte | (~malte@mal.tc) (Ping timeout: 248 seconds) |
| 2025-09-29 12:30:10 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 12:26:55 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 240 seconds) |
| 2025-09-29 12:20:35 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-09-29 12:18:57 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-09-29 12:18:29 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-09-29 12:17:26 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 265 seconds) |
| 2025-09-29 12:16:44 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-29 12:16:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-09-29 12:12:04 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2025-09-29 12:12:01 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 12:11:23 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 2025-09-29 12:08:31 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-29 11:57:04 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-09-29 11:54:37 +0200 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 2025-09-29 11:52:49 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-29 11:50:24 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2025-09-29 11:50:01 +0200 | justache | (~justache@user/justache) justache |
| 2025-09-29 11:37:21 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 11:27:51 +0200 | kuribas | (~user@2a02-1810-2825-6000-5d46-3266-7567-729e.ip6.access.telenet.be) kuribas |
| 2025-09-29 11:21:34 +0200 | chele | (~chele@user/chele) chele |
| 2025-09-29 11:19:13 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-09-29 11:15:52 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-29 11:05:47 +0200 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-09-29 11:04:29 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-09-29 11:04:08 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-09-29 11:03:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:5d4:dfa6:7d7:2af3) |
| 2025-09-29 11:02:34 +0200 | aku | (aku@65.108.245.241) eagleflo |
| 2025-09-29 10:54:10 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 256 seconds) |
| 2025-09-29 10:52:16 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |