Newest at the top
| 2025-12-19 16:02:09 +0100 | <merijn> | That's just the fact that join is resulting in constraints that 'a = c' and 'b = d' |
| 2025-12-19 16:01:42 +0100 | <merijn> | That's not DMR at all |
| 2025-12-19 16:00:34 +0100 | <lambdabot> | Monad m => m (m a) -> m a |
| 2025-12-19 16:00:33 +0100 | <merijn> | :t join |
| 2025-12-19 16:00:22 +0100 | <lambdabot> | Bifunctor p => (a -> b) -> p a a -> p b b |
| 2025-12-19 16:00:21 +0100 | <merijn> | :t join bimap |
| 2025-12-19 15:59:57 +0100 | <merijn> | oh just super slow |
| 2025-12-19 15:59:49 +0100 | <lambdabot> | Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d |
| 2025-12-19 15:59:46 +0100 | <merijn> | I forgot, what was yahb's prompt? |
| 2025-12-19 15:59:29 +0100 | <merijn> | hmm, lambdabot is dead? |
| 2025-12-19 15:59:08 +0100 | <merijn> | :t bimap |
| 2025-12-19 15:57:35 +0100 | <yin> | when applied to something like (Map Char,Map Int) |
| 2025-12-19 15:55:49 +0100 | <yin> | is the mechanism that prevents me from writing (join bimap fromList) the DMR? |
| 2025-12-19 15:54:57 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2025-12-19 15:54:37 +0100 | internatetional | (~nate@2404:c0:2029:708e:1:0:dce8:227d) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2025-12-19 15:50:25 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-19 15:48:13 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) fp |
| 2025-12-19 15:39:51 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-19 15:38:26 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: No Ping reply in 180 seconds.) |
| 2025-12-19 15:35:53 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-19 15:35:45 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 250 seconds) |
| 2025-12-19 15:35:39 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-19 15:31:40 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2025-12-19 15:25:28 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c43:d0f8:e383:616c) |
| 2025-12-19 15:20:40 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-19 15:20:28 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-19 15:17:59 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-19 15:17:46 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-19 15:09:06 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c43:d0f8:e383:616c) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-19 15:01:55 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) (Ping timeout: 240 seconds) |
| 2025-12-19 15:01:08 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-19 14:57:47 +0100 | lambda_gibbon | (~lambda_gi@208.83.175.39) |
| 2025-12-19 14:52:41 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) (Remote host closed the connection) |
| 2025-12-19 14:51:51 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-12-19 14:50:07 +0100 | EvanR | (~EvanR@user/evanr) (Ping timeout: 264 seconds) |
| 2025-12-19 14:49:20 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-12-19 14:40:21 +0100 | tromp | (~textual@2001:1c00:3487:1b00:9c43:d0f8:e383:616c) |
| 2025-12-19 14:36:21 +0100 | deptype_ | (~deptype@2406:b400:3a:2dd5:52e4:b3c5:3fcb:69bd) |
| 2025-12-19 14:35:46 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-19 14:35:32 +0100 | Googulator87 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-19 14:35:00 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) fp |
| 2025-12-19 14:34:22 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-19 14:33:58 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-19 14:33:07 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 265 seconds) |
| 2025-12-19 14:30:23 +0100 | deptype | (~deptype@2406:b400:3a:2dd5:52e4:b3c5:3fcb:69bd) |
| 2025-12-19 14:25:34 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-19 14:24:20 +0100 | Igloo | (~ian@81.2.99.210) (Quit: BIAW) |
| 2025-12-19 14:23:52 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2025-12-19 14:23:13 +0100 | hsw | (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) hsw |
| 2025-12-19 14:22:54 +0100 | hsw | (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Read error: Connection reset by peer) |