Logs: liberachat/#haskell
| 2025-12-16 01:43:04 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Ping timeout: 246 seconds) |
| 2025-12-16 01:44:50 | DetourNe- | is now known as DetourNetworkUK |
| 2025-12-16 01:45:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-16 01:46:10 | → | Square joins (~Square4@user/square) |
| 2025-12-16 01:49:49 | × | Square2 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-12-16 01:55:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 01:57:11 | Googulator20 | is now known as Googulator |
| 2025-12-16 02:01:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-16 02:05:52 | × | Googulator quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 02:05:55 | → | Googulator73 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 02:10:25 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-16 02:11:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 02:16:08 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-12-16 02:16:34 | → | spew joins (~spew@user/spew) |
| 2025-12-16 02:16:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 02:24:23 | × | spew quits (~spew@user/spew) (Ping timeout: 260 seconds) |
| 2025-12-16 02:26:34 | → | spew joins (~spew@user/spew) |
| 2025-12-16 02:27:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 02:33:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 02:35:47 | × | Googulator73 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 02:35:52 | → | Googulator11 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 02:40:13 | Googulator11 | is now known as Googulator |
| 2025-12-16 02:43:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 02:48:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 02:59:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 03:05:19 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-12-16 03:05:45 | × | Googulator quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 03:05:49 | → | Googulator61 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 03:05:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 03:06:05 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-16 03:13:30 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-12-16 03:15:33 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-16 03:15:43 | × | spew quits (~spew@user/spew) (Ping timeout: 260 seconds) |
| 2025-12-16 03:16:18 | → | finsternis joins (~X@23.226.237.192) |
| 2025-12-16 03:17:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 03:22:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-16 03:24:37 | × | hsw quits (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2025-12-16 03:33:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 03:35:42 | × | Googulator61 quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 03:35:47 | → | Googulator31 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 03:37:26 | Googulator31 | is now known as Googulator |
| 2025-12-16 03:37:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 03:39:01 | → | hsw joins (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) |
| 2025-12-16 03:40:49 | × | td_ quits (~td@i53870904.versanet.de) (Ping timeout: 264 seconds) |
| 2025-12-16 03:42:05 | → | td_ joins (~td@i53870911.versanet.de) |
| 2025-12-16 03:48:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 03:49:57 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-16 03:52:20 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-16 03:52:28 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-16 03:53:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 03:54:19 | → | omidmash joins (~omidmash@user/omidmash) |
| 2025-12-16 03:59:55 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-16 04:00:47 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-16 04:03:19 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-16 04:03:46 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-16 04:04:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 04:06:24 | × | latticepolytope quits (~user@user/isekaijin) (Quit: bbl) |
| 2025-12-16 04:06:31 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2025-12-16 04:08:25 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-12-16 04:09:02 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-16 04:09:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 04:11:33 | → | spew joins (~spew@user/spew) |
| 2025-12-16 04:20:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 04:25:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-16 04:25:50 | × | Square quits (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-12-16 04:26:09 | × | vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer) |
| 2025-12-16 04:26:31 | → | vetkat joins (~vetkat@user/vetkat) |
| 2025-12-16 04:27:26 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-12-16 04:27:47 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-16 04:28:06 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-16 04:32:37 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2025-12-16 04:36:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 04:43:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-16 04:48:01 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-16 04:54:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 04:54:33 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-16 04:58:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 05:07:22 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-16 05:14:52 | × | spew quits (~spew@user/spew) (Quit: WeeChat 4.7.2) |
| 2025-12-16 05:20:38 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-16 05:22:45 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-16 05:23:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 05:24:26 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2025-12-16 05:27:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-16 05:28:26 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2025-12-16 05:34:19 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-16 05:34:39 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-16 05:37:34 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 2025-12-16 05:38:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 05:43:38 | → | michalz joins (~michalz@185.246.207.221) |
| 2025-12-16 05:43:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-16 05:52:29 | <chromoblob> | and i was frustrated that you can't set $$ to less precedence than $ |
| 2025-12-16 05:54:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-16 05:58:05 | <[exa]> | lol. |
| 2025-12-16 05:58:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-16 06:03:14 | <[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 06:04:05 | <[exa]> | (or do we need Repetitive or something such for that) |
| 2025-12-16 06:05:36 | → | Googulator88 joins (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-16 06:05:49 | × | Googulator quits (~Googulato@2a01-036d-0106-01cb-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-16 06:10:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.