Newest at the top
| 2025-02-25 01:14:54 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-02-25 01:11:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-25 01:08:28 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 265 seconds) |
| 2025-02-25 01:07:05 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Ping timeout: 244 seconds) |
| 2025-02-25 01:06:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 01:04:25 +0100 | olivial_ | (~benjaminl@c-76-144-12-233.hsd1.or.comcast.net) (Ping timeout: 268 seconds) |
| 2025-02-25 01:03:10 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-02-25 01:02:39 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-02-25 00:57:47 +0100 | mange | (~user@user/mange) mange |
| 2025-02-25 00:55:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-25 00:50:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 00:44:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 00:42:39 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-02-25 00:42:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-25 00:37:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 00:37:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-25 00:30:44 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-25 00:29:47 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-25 00:26:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-25 00:23:20 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-25 00:21:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 00:20:23 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-02-25 00:20:17 +0100 | malte | (~malte@mal.tc) malte |
| 2025-02-25 00:18:12 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-25 00:17:49 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-02-25 00:14:01 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-25 00:12:14 +0100 | AlexNoo | (~AlexNoo@178.34.162.44) |
| 2025-02-25 00:11:25 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-02-25 00:11:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-25 00:09:59 +0100 | AlexNoo | (~AlexNoo@178.34.162.44) (Read error: Connection reset by peer) |
| 2025-02-25 00:09:12 +0100 | malte | (~malte@mal.tc) malte |
| 2025-02-25 00:07:12 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-25 00:06:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-25 00:00:34 +0100 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
| 2025-02-24 23:58:05 +0100 | olivial_ | (~benjaminl@c-76-144-12-233.hsd1.or.comcast.net) |
| 2025-02-24 23:57:22 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-24 23:57:09 +0100 | stm32nucleo | (~stm32nucl@2a02:1210:545d:200:a978:119d:8aba:7f6e) (Quit: Client closed) |
| 2025-02-24 23:56:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-24 23:55:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-24 23:52:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-24 23:50:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-24 23:49:10 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-24 23:49:07 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-24 23:40:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-24 23:37:46 +0100 | stm32nucleo | (~stm32nucl@2a02:1210:545d:200:a978:119d:8aba:7f6e) |
| 2025-02-24 23:35:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-24 23:25:51 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-24 23:23:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-24 23:23:20 +0100 | <EvanR> | parenthesized by braces, braced by brackets, and bracketed by parentheses |
| 2025-02-24 23:22:54 +0100 | <monochrom> | I guess Coq's is like "Type @{...}" so it is parenthesized, by curry braces. |