Logs: liberachat/#haskell
| 2025-09-22 03:06:03 | → | Googulator11 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 03:06:13 | × | Googulator93 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 03:12:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 03:15:39 | × | Googulator11 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 03:15:45 | → | Googulator40 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 03:16:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-22 03:16:39 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-09-22 03:16:59 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-22 03:18:40 | → | williu5 joins (~williu5@user/williu5) |
| 2025-09-22 03:22:24 | → | dcpagan joins (~dcpagan@gateway/tor-sasl/dcpagan) |
| 2025-09-22 03:24:01 | <dcpagan> | How do I turn off alignment for GADTs with Floskell? |
| 2025-09-22 03:27:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 03:29:55 | <dcpagan> | I would like a format similar to Johan Tibell's configuration (https://github.com/ennocramer/floskell/blob/master/styles/johan-tibell.md), but without aligning GADT records. |
| 2025-09-22 03:32:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-22 03:40:37 | → | Googulator12 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 03:40:46 | × | Googulator40 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 03:41:35 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-22 03:42:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 03:45:44 | → | Googulator56 joins (~Googulato@80-95-93-255.pool.digikabel.hu) |
| 2025-09-22 03:46:10 | × | Googulator12 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 03:46:58 | × | dutchie quits (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-09-22 03:47:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-22 03:48:12 | → | dutchie joins (~dutchie@user/dutchie) |
| 2025-09-22 03:58:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 03:59:37 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-22 04:01:28 | → | aforemny joins (~aforemny@2001:9e8:6cc7:a300:13f0:3a0e:66b2:bfa6) |
| 2025-09-22 04:01:30 | × | aforemny_ quits (~aforemny@2001:9e8:6cc3:700:ed80:1557:7873:ea6d) (Ping timeout: 248 seconds) |
| 2025-09-22 04:02:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-09-22 04:10:37 | → | Googulator39 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 04:10:45 | × | Googulator56 quits (~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 04:13:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 04:15:44 | → | Googulator52 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 04:16:04 | → | Axma29690 joins (~Axman6@user/axman6) |
| 2025-09-22 04:16:13 | × | Googulator39 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 04:18:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-22 04:18:03 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 2025-09-22 04:21:58 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-09-22 04:23:33 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-09-22 04:29:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 04:32:35 | × | Googulator52 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 04:32:50 | → | Googulator52 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 04:35:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-22 04:39:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 04:44:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-22 04:50:35 | → | Googulator2 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 04:50:47 | × | Googulator52 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 04:55:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 04:55:44 | → | Googulator79 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 04:56:12 | × | Googulator2 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 04:59:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-09-22 05:07:47 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-22 05:10:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 05:15:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-22 05:15:36 | × | Googulator79 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 05:15:43 | → | Googulator73 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 05:25:54 | → | Googulator99 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 05:26:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 05:26:17 | × | Googulator73 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 05:30:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-22 05:30:54 | × | Googulator99 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 05:31:03 | → | Googulator99 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 05:35:39 | × | Googulator99 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Client Quit) |
| 2025-09-22 05:36:06 | → | Googulator99 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 05:40:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 05:43:33 | × | williu5 quits (~williu5@user/williu5) (Quit: WeeChat 4.7.1) |
| 2025-09-22 05:45:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-22 05:46:06 | → | Googulator11 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 05:46:13 | × | Googulator99 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 05:48:08 | → | michalz joins (~michalz@185.246.207.203) |
| 2025-09-22 05:48:33 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-09-22 05:48:41 | × | paddymahoney quits (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2025-09-22 05:49:40 | → | paddymahoney joins (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2025-09-22 05:56:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 06:00:10 | → | comonad joins (~comonad@p200300d027244d00b442e34853d3dae3.dip0.t-ipconnect.de) |
| 2025-09-22 06:03:52 | × | trickard_ quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-22 06:04:06 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-09-22 06:04:41 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 258 seconds) |
| 2025-09-22 06:07:45 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-22 06:12:19 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-09-22 06:14:04 | Maxdaman1us | is now known as Maxdamantus |
| 2025-09-22 06:15:58 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-09-22 06:20:08 | × | qqe quits (~qqq@185.54.23.100) (Remote host closed the connection) |
| 2025-09-22 06:25:12 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 244 seconds) |
| 2025-09-22 06:28:16 | → | qqe joins (~qqq@185.54.23.100) |
| 2025-09-22 06:29:46 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2025-09-22 06:29:46 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-09-22 06:31:29 | → | aplainzetakind joins (~aplainzet@37.155.33.61) |
| 2025-09-22 06:32:38 | × | qqe quits (~qqq@185.54.23.100) (Client Quit) |
| 2025-09-22 06:42:23 | Axma29690 | is now known as Axman6 |
| 2025-09-22 06:44:34 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-22 06:44:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:8133:8e8f:3459:47e4) |
| 2025-09-22 06:53:06 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-09-22 06:55:59 | → | Googulator74 joins (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
| 2025-09-22 06:56:16 | × | Googulator11 quits (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-22 07:00:00 | × | caconym74787 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-22 07:00:41 | → | caconym74787 joins (~caconym@user/caconym) |
| 2025-09-22 07:12:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-22 07:12:50 | → | acidjnk joins (~acidjnk@p200300d6e7171901dc8a236a4169d06b.dip0.t-ipconnect.de) |
| 2025-09-22 07:19:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-22 07:23:04 | × | Square2 quits (~Square@user/square) (Ping timeout: 256 seconds) |
All times are in UTC.