Newest at the top
| 2024-04-19 08:42:22 +0200 | m1dnight | (~christoph@82.146.125.185) |
| 2024-04-19 08:42:06 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-04-19 08:41:41 +0200 | m1dnight | (~christoph@82.146.125.185) (Quit: WeeChat 4.2.2) |
| 2024-04-19 08:37:19 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-19 08:31:41 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-19 08:29:57 +0200 | califax | (~califax@user/califx) |
| 2024-04-19 08:28:03 +0200 | son0p | (~ff@186.115.71.112) (Ping timeout: 268 seconds) |
| 2024-04-19 08:25:27 +0200 | tt12310 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 2024-04-19 08:25:15 +0200 | danza | (~francesco@151.57.111.11) |
| 2024-04-19 08:25:01 +0200 | danza | (~francesco@151.35.97.107) (Read error: Connection reset by peer) |
| 2024-04-19 08:24:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-19 08:20:02 +0200 | titibandit | (~titibandi@user/titibandit) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-04-19 08:08:17 +0200 | danza | (~francesco@151.35.97.107) |
| 2024-04-19 08:01:16 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-04-19 07:55:40 +0200 | dehsou^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-04-19 07:48:17 +0200 | Fijxu | (~Fijxu@user/fijxu) |
| 2024-04-19 07:46:02 +0200 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2024-04-19 07:38:12 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 2024-04-19 07:37:56 +0200 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Read error: Connection reset by peer) |
| 2024-04-19 07:30:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-19 07:23:38 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-19 07:18:40 +0200 | mei | (~mei@user/mei) |
| 2024-04-19 07:18:22 +0200 | mima | (~mmh@aftr-62-216-211-176.dynamic.mnet-online.de) |
| 2024-04-19 07:13:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-19 07:13:11 +0200 | mei | (~mei@user/mei) (Ping timeout: 264 seconds) |
| 2024-04-19 07:06:18 +0200 | mei | (~mei@user/mei) |
| 2024-04-19 07:04:57 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-19 06:58:04 +0200 | euleritian | (~euleritia@dynamic-176-006-187-120.176.6.pool.telefonica.de) |
| 2024-04-19 06:56:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-04-19 06:54:08 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 252 seconds) |
| 2024-04-19 06:32:54 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-04-19 06:31:37 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-19 06:26:23 +0200 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-04-19 06:16:08 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-19 06:15:36 +0200 | mei | (~mei@user/mei) |
| 2024-04-19 06:14:59 +0200 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-04-19 06:14:34 +0200 | Guest67 | (~Guest67@129.170.197.84) (Quit: Client closed) |
| 2024-04-19 06:11:31 +0200 | <Guest67> | But thanks for the other method |
| 2024-04-19 06:11:28 +0200 | <Guest67> | Yeah I just realized I needed to use join my self |
| 2024-04-19 06:11:06 +0200 | <lambdabot> | Monad m => (a -> b1 -> m b2) -> m a -> m b1 -> m b2 |
| 2024-04-19 06:11:05 +0200 | <probie> | :t \g x y -> liftM2 (,) x y >>= uncurry g -- for variety |
| 2024-04-19 06:09:22 +0200 | <lambdabot> | Monad m => (a1 -> a2 -> m a) -> m a1 -> m a2 -> m a |
| 2024-04-19 06:09:21 +0200 | <probie> | :t \g x y -> join (liftM2 g x y) |
| 2024-04-19 06:08:16 +0200 | michalz | (~michalz@185.246.207.200) |
| 2024-04-19 06:05:48 +0200 | <Guest67> | Actually, the problem is that g returns something of type m a rather than a |
| 2024-04-19 06:05:47 +0200 | rekahsoft | (~rekahsoft@184.148.6.204) (Ping timeout: 256 seconds) |
| 2024-04-19 06:01:09 +0200 | <Guest67> | Thanks |
| 2024-04-19 06:01:07 +0200 | <Guest67> | I see |
| 2024-04-19 06:00:51 +0200 | <EvanR> | where a1 = a2 = r |
| 2024-04-19 06:00:40 +0200 | <lambdabot> | Monad m => (a1 -> a2 -> r) -> m a1 -> m a2 -> m r |