Newest at the top
| 2025-10-15 12:46:26 +0200 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-15 12:45:36 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 12:44:33 +0200 | titusg | (~user@31.94.22.246) titusg |
| 2025-10-15 12:42:34 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-10-15 12:39:45 +0200 | enikar | (~enikar@user/enikar) enikar |
| 2025-10-15 12:34:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-10-15 12:32:35 +0200 | mochie | (~mochie@93.124.228.5) (Ping timeout: 256 seconds) |
| 2025-10-15 12:30:43 +0200 | enikar | (~enikar@user/enikar) (Read error: Connection reset by peer) |
| 2025-10-15 12:30:38 +0200 | stilgart | (~Christoph@2001:41d0:2:8673::42) (Remote host closed the connection) |
| 2025-10-15 12:28:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 12:21:26 +0200 | arahael | (~wetfoot@user/arahael) arahael |
| 2025-10-15 12:20:27 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) synchromesh |
| 2025-10-15 12:19:40 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:68ee:5421:f441:d3ef) (Read error: Connection reset by peer) |
| 2025-10-15 12:16:04 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-10-15 12:13:30 +0200 | divlamir_ | divlamir |
| 2025-10-15 12:12:38 +0200 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2025-10-15 12:12:29 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-15 12:09:15 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 12:09:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-10-15 12:09:03 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-10-15 12:05:17 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-10-15 12:04:29 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-15 12:03:49 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-15 12:02:43 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-15 12:02:05 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-10-15 11:50:24 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-15 11:39:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-15 11:37:19 +0200 | acidjnk | (~acidjnk@p200300d6e717193448bf8d9923882cf1.dip0.t-ipconnect.de) acidjnk |
| 2025-10-15 11:33:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-15 11:28:07 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-15 11:22:42 +0200 | arahael | (~wetfoot@user/arahael) (Quit: WeeChat 4.6.3) |
| 2025-10-15 11:20:32 +0200 | craunts79533538 | (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-10-15 11:20:25 +0200 | craunts795335385 | (~craunts@136.158.7.194) |
| 2025-10-15 11:14:52 +0200 | chele | (~chele@user/chele) chele |
| 2025-10-15 11:14:19 +0200 | <tomsmeding> | not saying that ApplicativeDo is perfect, but I think in this case it's correct |
| 2025-10-15 11:10:37 +0200 | inline | (~inline@2a02:8071:57a1:1260:141f:e122:6bd3:e75) (Ping timeout: 246 seconds) |
| 2025-10-15 11:06:06 +0200 | <mreh> | silly me |
| 2025-10-15 11:05:50 +0200 | <mreh> | tomsmeding: I guess it can't, right? |
| 2025-10-15 11:05:25 +0200 | <tomsmeding> | mreh: if it's `bar x`, how would you want that to be converted to applicative syntax? |
| 2025-10-15 11:02:17 +0200 | <mreh> | actually, I've got something like `bar x` going on... so many that precludes ApplicativeDo |
| 2025-10-15 11:00:48 +0200 | <mreh> | do { x <- foo; y <- (runA $ do { z <- bar; w <- baz; return (f z w) }); return y } -- I've got this kind of situation going on. |
| 2025-10-15 10:59:17 +0200 | <mreh> | is it not possible to mix ApplicativeDo syntax in with normal do syntax or something? |
| 2025-10-15 10:57:27 +0200 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2025-10-15 10:50:03 +0200 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-10-15 10:44:10 +0200 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 255 seconds) |
| 2025-10-15 10:37:46 +0200 | kuribas | (~user@2a02:1808:cf:aa1d:ef86:5cf9:5b01:47e7) (Ping timeout: 248 seconds) |
| 2025-10-15 10:35:59 +0200 | kuribas` | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-10-15 10:33:04 +0200 | halloy7365 | (~halloy736@2404:4400:5446:4e00:b445:d572:a953:7834) |
| 2025-10-15 10:32:00 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-15 10:28:32 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |