| 2025-12-16 00:01:47 +0100 | myxokephale | (~myxos@2001:579:8380:f20:50ce:9e79:bbea:e21f) myxokephale |
| 2025-12-16 00:04:34 +0100 | myxos | (~myxos@2001:579:8380:f20:fbd3:ef8a:e888:18ad) (Ping timeout: 255 seconds) |
| 2025-12-16 00:04:43 +0100 | <dolio> | It's fine, just don't put it in Monad. |
| 2025-12-16 00:05:41 +0100 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 00:05:46 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 00:06:01 +0100 | <dolio> | Originally I think failable patterns would desugar to MonadZero. |
| 2025-12-16 00:10:17 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-16 00:17:31 +0100 | <jackdk> | The H98 report, s3.14, desugars `do { p <- e; stmts }` to `let { ok p = do {stmts}; ok _ = fail "..." in e >>= ok }` |
| 2025-12-16 00:18:07 +0100 | <jackdk> | (And specifies that `fail` is an operation of `class Monad`) |
| 2025-12-16 00:19:50 +0100 | <haskellbridge> | <loonycyborg> "do" can be used in pure code to together with BlockArguments kill even more parentheses :P |
| 2025-12-16 00:20:16 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-12-16 00:20:29 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-16 00:22:24 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 00:22:41 +0100 | Googulator33 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 00:24:14 +0100 | <chromoblob> | ... = ... $ do ... |
| 2025-12-16 00:24:43 +0100 | <haskellbridge> | <loonycyborg> +to |
| 2025-12-16 00:24:56 +0100 | <chromoblob> | `$` is how i kill parentheses :p |
| 2025-12-16 00:28:38 +0100 | <chromoblob> | and i have even defined `($$) = flip ($)` in past, to do `... $$ ... $$ ...` - iirc |
| 2025-12-16 00:33:29 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 2025-12-16 00:34:21 +0100 | Googulator33 | Googulator |
| 2025-12-16 00:36:04 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 00:36:19 +0100 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 00:38:37 +0100 | Googulator96 | Googulator |
| 2025-12-16 00:40:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 00:41:31 +0100 | mange | (~mange@user/mange) mange |
| 2025-12-16 00:43:44 +0100 | bggd__ | (~bgg@2a01:e0a:fd5:f510:6bc5:c845:f799:c476) (Remote host closed the connection) |
| 2025-12-16 00:44:00 +0100 | latticepolytope | (~user@user/isekaijin) isekaijin |
| 2025-12-16 00:44:03 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-16 00:44:09 +0100 | <jackdk> | chromoblob: Your ($$) is (Data.Function.&), since base-4.8 (ghc 7.10.1, April 2015) |
| 2025-12-16 00:45:24 +0100 | <chromoblob> | yeah, i did this in 2014 lol |
| 2025-12-16 00:45:37 +0100 | <chromoblob> | :i & |
| 2025-12-16 00:45:48 +0100 | <chromoblob> | no work... |
| 2025-12-16 00:46:10 +0100 | <jackdk> | % :i & |
| 2025-12-16 00:46:10 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-76037] Not in scope: ‘&’ |
| 2025-12-16 00:46:53 +0100 | <geekosaur> | % :i Data.Function.& |
| 2025-12-16 00:46:53 +0100 | <yahb2> | (GHC.Internal.Data.Function.&) :: a -> (a -> b) -> b ; -- Defined in ‘GHC.Internal.Data.Function’ ; infixl 1 GHC.Internal.Data.Function.& |
| 2025-12-16 00:48:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-16 00:54:46 +0100 | <chromoblob> | wait, i mixed it up |
| 2025-12-16 00:55:15 +0100 | <chromoblob> | i mean that ($$) is same that ($) but has left associativity |
| 2025-12-16 00:55:17 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-16 00:55:31 +0100 | <chromoblob> | that -> as |
| 2025-12-16 00:58:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 01:01:15 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-12-16 01:03:01 +0100 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2025-12-16 01:03:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-16 01:09:04 +0100 | jmcantrell_ | jmcantrell |
| 2025-12-16 01:14:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 01:15:08 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-12-16 01:19:14 +0100 | itaipu | (~itaipu@168.121.97.28) itaipu |
| 2025-12-16 01:19:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 01:30:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 01:30:40 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-16 01:34:53 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-12-16 01:35:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-16 01:35:23 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-16 01:36:00 +0100 | Googulator20 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 01:36:23 +0100 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 01:38:02 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-12-16 01:46:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 01:55:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-16 02:04:20 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-12-16 02:04:36 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-16 02:06:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 02:08:15 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-16 02:08:55 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2025-12-16 02:10:31 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1f68:a6af:8023:736) (Ping timeout: 246 seconds) |
| 2025-12-16 02:10:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 02:20:15 +0100 | Tuplanolla | (~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
| 2025-12-16 02:22:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 02:24:40 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-12-16 02:24:52 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-12-16 02:25:10 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-16 02:25:23 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-16 02:26:43 +0100 | kodachi | (~kodachi@198.105.112.55) (Quit: Leaving) |
| 2025-12-16 02:27:25 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-16 02:28:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 02:29:03 +0100 | omidmash5 | (~omidmash@user/omidmash) omidmash |
| 2025-12-16 02:30:28 +0100 | acidjnk | (~acidjnk@p200300d6e7171911ece553fa3dd3d975.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-12-16 02:30:59 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 265 seconds) |
| 2025-12-16 02:30:59 +0100 | omidmash5 | omidmash |
| 2025-12-16 02:31:54 +0100 | spew | (~spew@user/spew) (Ping timeout: 252 seconds) |
| 2025-12-16 02:33:41 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2025-12-16 02:39:50 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-16 02:40:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 02:40:04 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-16 02:42:34 +0100 | DetourNe- | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-12-16 02:43:04 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds) |
| 2025-12-16 02:44:50 +0100 | DetourNe- | DetourNetworkUK |
| 2025-12-16 02:45:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-16 02:46:10 +0100 | Square | (~Square4@user/square) Square |
| 2025-12-16 02:49:49 +0100 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-12-16 02:55:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 02:57:11 +0100 | Googulator20 | Googulator |
| 2025-12-16 03:01:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-16 03:05:52 +0100 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 03:05:55 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 03:10:25 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-16 03:11:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 03:16:08 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-16 03:16:34 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-16 03:16:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 03:24:23 +0100 | spew | (~spew@user/spew) (Ping timeout: 260 seconds) |
| 2025-12-16 03:26:34 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-16 03:27:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 03:33:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 03:35:47 +0100 | Googulator73 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 03:35:52 +0100 | Googulator11 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 03:40:13 +0100 | Googulator11 | Googulator |
| 2025-12-16 03:43:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 03:48:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 03:59:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 04:05:19 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-12-16 04:05:45 +0100 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 04:05:49 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 04:05:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 04:06:05 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-16 04:13:30 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-12-16 04:15:33 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-16 04:15:43 +0100 | spew | (~spew@user/spew) (Ping timeout: 260 seconds) |
| 2025-12-16 04:16:18 +0100 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-12-16 04:17:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 04:22:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-16 04:24:37 +0100 | hsw | (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2025-12-16 04:33:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 04:35:42 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 04:35:47 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 04:37:26 +0100 | Googulator31 | Googulator |
| 2025-12-16 04:37:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 04:39:01 +0100 | hsw | (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) hsw |
| 2025-12-16 04:40:49 +0100 | td_ | (~td@i53870904.versanet.de) (Ping timeout: 264 seconds) |
| 2025-12-16 04:42:05 +0100 | td_ | (~td@i53870911.versanet.de) td_ |
| 2025-12-16 04:48:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 04:49:57 +0100 | omidmash | (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-16 04:52:20 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-16 04:52:28 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-16 04:53:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 04:54:19 +0100 | omidmash | (~omidmash@user/omidmash) omidmash |
| 2025-12-16 04:59:55 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-16 05:00:47 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-16 05:03:19 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-16 05:03:46 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-16 05:04:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 05:06:24 +0100 | latticepolytope | (~user@user/isekaijin) (Quit: bbl) |
| 2025-12-16 05:06:31 +0100 | somemathguy | (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-16 05:08:25 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-16 05:09:02 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-16 05:09:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 05:11:33 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-16 05:20:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 05:25:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-16 05:25:50 +0100 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-12-16 05:26:09 +0100 | vetkat | (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-12-16 05:26:31 +0100 | vetkat | (~vetkat@user/vetkat) vetkat |
| 2025-12-16 05:27:26 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-16 05:27:47 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-16 05:28:06 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-16 05:32:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2025-12-16 05:36:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 05:43:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-16 05:48:01 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-16 05:54:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 05:54:33 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-16 05:58:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 06:07:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-16 06:14:52 +0100 | spew | (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-16 06:20:38 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-16 06:22:45 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-16 06:23:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 06:24:26 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2025-12-16 06:27:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-16 06:28:26 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-16 06:34:19 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-16 06:34:39 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-16 06:37:34 +0100 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-12-16 06:38:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 06:43:38 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-12-16 06:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 06:52:29 +0100 | <chromoblob> | and i was frustrated that you can't set $$ to less precedence than $ |
| 2025-12-16 06:54:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 06:58:05 +0100 | <[exa]> | lol. |
| 2025-12-16 06:58:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 07:03:14 +0100 | <[exa]> | Is there a way to do something Selective-like with parsers that read a sequence length and then the sequence? roughly like: parseInt >>= \n -> replicateA n parseValue |
| 2025-12-16 07:04:05 +0100 | <[exa]> | (or do we need Repetitive or something such for that) |
| 2025-12-16 07:05:36 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 07:05:49 +0100 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 07:10:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 07:16:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 07:21:07 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-16 07:21:29 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-12-16 07:27:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 07:33:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-16 07:35:40 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 07:37:21 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 07:43:18 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2025-12-16 07:43:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 07:48:24 +0100 | ft | (~ft@p4fc2ab42.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-16 07:48:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 07:59:27 +0100 | tt12316072 | (~tt1231@75.185.104.199) tt1231 |
| 2025-12-16 07:59:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 08:00:22 +0100 | tt1231607 | (~tt1231@75.185.104.199) (Read error: Connection reset by peer) |
| 2025-12-16 08:00:22 +0100 | tt12316072 | tt1231607 |
| 2025-12-16 08:00:40 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: No Ping reply in 180 seconds.) |
| 2025-12-16 08:00:56 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2025-12-16 08:01:55 +0100 | myxos | (~myxos@2001:579:8380:f20:bd90:58c1:9ba1:835a) myxokephale |
| 2025-12-16 08:03:37 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2025-12-16 08:03:53 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-16 08:04:07 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-16 08:04:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 08:04:56 +0100 | myxokephale | (~myxos@2001:579:8380:f20:50ce:9e79:bbea:e21f) (Ping timeout: 256 seconds) |
| 2025-12-16 08:05:42 +0100 | Googulator52 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 08:05:47 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 08:06:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 08:08:32 +0100 | xstill_ | (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 2025-12-16 08:11:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 08:11:53 +0100 | xstill_ | (xstill@fimu/xstill) xstill |
| 2025-12-16 08:22:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 08:25:33 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-12-16 08:26:40 +0100 | Igloo | (~ian@81.2.99.210) (Ping timeout: 244 seconds) |
| 2025-12-16 08:27:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-16 08:34:00 +0100 | <gentauro> | quote: tomsmeding> gentauro: nice, very helpful error. -> I guess it was inevitable: https://github.com/NixOS/nixpkgs/commit/39e997304a220f5e80a097296fa07149344f0e15 (🤖 Generated with [Claude Code]) GG |
| 2025-12-16 08:36:09 +0100 | <gentauro> | no wonder the "stable" NixOS channel keeps breaking https://status.nixos.org/. I guess that's the state of software development these days :( |
| 2025-12-16 08:38:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 08:38:35 +0100 | Igloo | (~ian@81.2.99.210) |
| 2025-12-16 08:39:25 +0100 | Guest98 | (~Guest98@122.11.246.146) |
| 2025-12-16 08:41:30 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-16 08:42:29 +0100 | ski | likes `return' more |
| 2025-12-16 08:42:37 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2025-12-16 08:43:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-16 08:48:10 +0100 | Guest98 | (~Guest98@122.11.246.146) (Quit: Client closed) |
| 2025-12-16 08:53:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 08:56:35 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
| 2025-12-16 08:57:36 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-12-16 08:58:39 +0100 | tromp | (~textual@2001:1c00:3487:1b00:dc21:3bf3:aa50:6091) |
| 2025-12-16 08:59:03 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-12-16 08:59:05 +0100 | lucabtz | (~lucabtz@user/lucabtz) lucabtz |
| 2025-12-16 08:59:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-16 09:07:38 +0100 | <gentauro> | ski: if related to `Monads` then `return` is the right keyword. If related to `Applicative`, `pure` is the right keyword |
| 2025-12-16 09:07:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-16 09:12:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 09:15:40 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 09:15:49 +0100 | Googulator90 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 09:17:45 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-12-16 09:22:30 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-12-16 09:24:09 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-16 09:24:33 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-16 09:26:42 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-12-16 09:27:15 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 240 seconds) |
| 2025-12-16 09:27:56 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-12-16 09:42:41 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-16 09:42:54 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-16 09:58:24 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-12-16 10:00:41 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-16 10:00:54 +0100 | trickard_ | (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-16 10:03:47 +0100 | fp1 | (~Thunderbi@dhcp-86-128.eduroam.aalto.fi) fp |
| 2025-12-16 10:05:06 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-12-16 10:05:10 +0100 | fp1 | fp |
| 2025-12-16 10:05:17 +0100 | Googulator72 | Googulator |
| 2025-12-16 10:06:33 +0100 | acidjnk | (~acidjnk@p200300d6e71719974d985e7e473d8889.dip0.t-ipconnect.de) acidjnk |
| 2025-12-16 10:10:49 +0100 | <tomsmeding> | gentauro: is it indeed that commit that breaks things for you? |
| 2025-12-16 10:12:46 +0100 | <tomsmeding> | gentauro: also, if the problem is broken haskell packages, then that still doesn't explain why you get an error without any info |
| 2025-12-16 10:15:07 +0100 | kuribas | (~user@2a02:1808:41:7270:9839:ee7c:6379:63a8) kuribas |
| 2025-12-16 10:15:38 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-12-16 10:15:42 +0100 | Googulator | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 10:15:43 +0100 | Googulator18 | (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 10:16:14 +0100 | fp | (~Thunderbi@dhcp-86-128.eduroam.aalto.fi) (Ping timeout: 260 seconds) |
| 2025-12-16 10:16:14 +0100 | fp1 | fp |
| 2025-12-16 10:16:28 +0100 | chele | (~chele@user/chele) chele |
| 2025-12-16 10:18:18 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-16 10:18:40 +0100 | Googulator18 | Googulator |
| 2025-12-16 10:24:01 +0100 | sp1ff | (~user@2601:1c2:4c00:6820::c593) (Ping timeout: 246 seconds) |