Newest at the top
| 2025-05-16 10:28:24 +0200 | <[exa]> | ah ok |
| 2025-05-16 10:22:15 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-16 10:12:22 +0200 | <merijn> | Possibly/probably hindent can't cope because it wasn't updated |
| 2025-05-16 10:12:11 +0200 | <tomsmeding> | [exa]: $(makeLenses ''Ty) does |
| 2025-05-16 10:12:08 +0200 | <merijn> | [exa]: The syntax for toplevel splices changed at some point |
| 2025-05-16 10:11:15 +0200 | <[exa]> | (it doesn't even compile?) |
| 2025-05-16 10:11:10 +0200 | <[exa]> | why would hindent convert my `makeLenses ''Ty` into `$makeLenses ''Ty`, with an extra dollar? |
| 2025-05-16 10:06:01 +0200 | zmt01 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2025-05-16 09:57:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 09:56:30 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-05-16 09:54:48 +0200 | euleritian | (~euleritia@dynamic-176-006-134-222.176.6.pool.telefonica.de) |
| 2025-05-16 09:52:04 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-16 09:51:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-16 09:51:05 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-16 09:49:02 +0200 | <tomsmeding> | bwe: code lens |
| 2025-05-16 09:46:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 09:44:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 09:44:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 09:41:22 +0200 | <bwe> | How is the lsp functionality called to evaluade doctests as I write them in the editor? |
| 2025-05-16 09:40:14 +0200 | bwe53891 | bwe |
| 2025-05-16 09:36:18 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-16 09:36:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-16 09:34:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 09:34:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-16 09:31:43 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-16 09:30:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 09:30:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 09:25:18 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-16 09:19:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-16 09:15:42 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4105c0adf8f289f227.dip0.t-ipconnect.de) acidjnk |
| 2025-05-16 09:15:17 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-05-16 09:15:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 09:15:03 +0200 | nacation | (~m-3l4s76@user/nacation) (Remote host closed the connection) |
| 2025-05-16 09:14:06 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-16 09:13:43 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-05-16 09:04:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-16 09:01:14 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-05-16 09:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-16 09:00:00 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-16 08:59:46 +0200 | nacation | (~m-3l4s76@user/nacation) (Remote host closed the connection) |
| 2025-05-16 08:59:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 08:55:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-16 08:52:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-05-16 08:49:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-16 08:46:04 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-05-16 08:44:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a44a:50e6:3df5:3b66) |
| 2025-05-16 08:44:02 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-16 08:44:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-16 08:43:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-16 08:43:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |