Newest at the top
2025-09-22 06:23:33 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
2025-09-22 06:21:58 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
2025-09-22 06:18:03 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
2025-09-22 06:18:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-22 06:16:13 +0200 | Googulator39 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-22 06:16:04 +0200 | Axma29690 | (~Axman6@user/axman6) Axman6 |
2025-09-22 06:15:44 +0200 | Googulator52 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
2025-09-22 06:13:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-22 06:10:45 +0200 | Googulator56 | (~Googulato@80-95-93-255.pool.digikabel.hu) (Quit: Client closed) |
2025-09-22 06:10:37 +0200 | Googulator39 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
2025-09-22 06:02:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-22 06:01:30 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc3:700:ed80:1557:7873:ea6d) (Ping timeout: 248 seconds) |
2025-09-22 06:01:28 +0200 | aforemny | (~aforemny@2001:9e8:6cc7:a300:13f0:3a0e:66b2:bfa6) aforemny |
2025-09-22 05:59:37 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-09-22 05:58:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-22 05:48:12 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
2025-09-22 05:47:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-09-22 05:46:58 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
2025-09-22 05:46:10 +0200 | Googulator12 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-22 05:45:44 +0200 | Googulator56 | (~Googulato@80-95-93-255.pool.digikabel.hu) |
2025-09-22 05:42:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-22 05:41:35 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-22 05:40:46 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-22 05:40:37 +0200 | Googulator12 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
2025-09-22 05:32:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-22 05:29:55 +0200 | <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 05:27:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-22 05:24:01 +0200 | <dcpagan> | How do I turn off alignment for GADTs with Floskell? |
2025-09-22 05:22:24 +0200 | dcpagan | (~dcpagan@gateway/tor-sasl/dcpagan) dcpagan |
2025-09-22 05:18:40 +0200 | williu5 | (~williu5@user/williu5) williu5 |
2025-09-22 05:16:59 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-09-22 05:16:39 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-09-22 05:16:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-22 05:15:45 +0200 | Googulator40 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
2025-09-22 05:15:39 +0200 | Googulator11 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-22 05:12:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-22 05:06:13 +0200 | Googulator93 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-22 05:06:03 +0200 | Googulator11 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
2025-09-22 05:04:44 +0200 | aforemny | (~aforemny@2001:9e8:6ce4:5a00:77d6:6f62:e46:c270) (Ping timeout: 244 seconds) |
2025-09-22 05:03:54 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc3:700:ed80:1557:7873:ea6d) aforemny |
2025-09-22 05:03:54 +0200 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.7.1) |
2025-09-22 05:00:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-22 04:55:27 +0200 | williu5 | (~williu5@user/williu5) williu5 |
2025-09-22 04:55:07 +0200 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.7.1) |
2025-09-22 04:54:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-22 04:53:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
2025-09-22 04:50:45 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-09-22 04:50:41 +0200 | Googulator80 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-22 04:50:37 +0200 | Googulator93 | (~Googulato@2a01-036d-0106-0744-4151-2ee3-78cb-4ad2.pool6.digikabel.hu) |
2025-09-22 04:49:21 +0200 | Axma12764 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |