Newest at the top
| 2025-05-23 18:35:05 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:3da1:7dc9:9cd1:6849) (Quit: ubert) |
| 2025-05-23 18:34:48 +0200 | <EvanR> | -(-x) works |
| 2025-05-23 18:34:45 +0200 | <EvanR> | - -x also fails same reason |
| 2025-05-23 18:34:17 +0200 | <EvanR> | (unexpected '-') |
| 2025-05-23 18:34:06 +0200 | <EvanR> | (for me it fails) |
| 2025-05-23 18:33:56 +0200 | <EvanR> | should it be Neg (Neg x) |
| 2025-05-23 18:33:33 +0200 | <EvanR> | where x is a term |
| 2025-05-23 18:33:30 +0200 | <EvanR> | in parsec's buildExpressionParser parser, you can give it a prefix operator... I gave it a '-' prefix operator with highest precedence. But should this then work or is it misunderstand what it buildExpressionParser does: --x |
| 2025-05-23 18:31:52 +0200 | <EvanR> | sanity check |
| 2025-05-23 18:31:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 18:30:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-23 18:28:06 +0200 | mrmr5 | (~mrmr@user/mrmr) mrmr |
| 2025-05-23 18:26:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-23 18:25:52 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2025-05-23 18:24:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 18:24:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 18:22:12 +0200 | mrmr | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2025-05-23 18:21:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-23 18:18:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 18:18:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 18:12:21 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-05-23 18:11:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 18:11:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 18:09:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-23 18:03:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 18:03:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-23 18:02:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 18:01:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:30a6:c51d:9dbb:1dc5) |
| 2025-05-23 17:58:09 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-05-23 17:57:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 17:56:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 17:55:29 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f25155e18f2fff4c02d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-05-23 17:51:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-23 17:50:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 17:49:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 17:44:53 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-23 17:43:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 17:43:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 17:41:19 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-23 17:38:43 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-05-23 17:37:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 17:37:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 17:31:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 17:30:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 17:24:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 17:23:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 17:16:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-23 17:16:47 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-05-23 17:16:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-23 17:15:39 +0200 | <tomsmeding> | Leary: that's a little over my head at the moment :) |