Newest at the top
| 2026-03-05 23:13:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-05 23:11:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 23:06:31 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 244 seconds) |
| 2026-03-05 23:06:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 23:05:23 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-05 23:04:54 +0100 | gehmehgeh | gmg |
| 2026-03-05 22:55:55 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-03-05 22:55:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-05 22:55:29 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2026-03-05 22:53:34 +0100 | tusko | (~uwu@user/tusko) (Ping timeout: 258 seconds) |
| 2026-03-05 22:53:06 +0100 | <[exa]> | mesaoptimizer: yeah (for symbol operators only tho, would be kinda disrupting to have wordy operators like agda) |
| 2026-03-05 22:50:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 22:45:02 +0100 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
| 2026-03-05 22:39:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 22:36:24 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 22:36:18 +0100 | <mesaoptimizer> | would you like Agda mixfix in Haskell |
| 2026-03-05 22:36:00 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 255 seconds) |
| 2026-03-05 22:35:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 22:33:07 +0100 | mange | (~mange@user/mange) mange |
| 2026-03-05 22:26:04 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-03-05 22:24:32 +0100 | redshuffle | (~quassel@45.43.70.75) |
| 2026-03-05 22:24:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-05 22:19:14 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-03-05 22:17:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 22:17:03 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-03-05 22:10:54 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-05 22:09:58 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 22:08:53 +0100 | [exa] | (~exa@user/exa/x-3587197) [exa] |
| 2026-03-05 22:07:52 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2026-03-05 22:06:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 22:01:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 21:57:04 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 21:56:24 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 21:56:11 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 21:55:29 +0100 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 21:50:34 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 21:47:07 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 21:46:34 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2026-03-05 21:45:51 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 21:41:03 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-05 21:35:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 21:33:43 +0100 | kuribas | (~user@2a02:1810:2825:6000:d4d2:7bb2:8f5b:632a) kuribas |
| 2026-03-05 21:29:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 21:22:42 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-05 21:22:21 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-05 21:21:20 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 21:20:42 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 21:18:32 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 21:16:50 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 248 seconds) |
| 2026-03-05 21:15:07 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |