Newest at the top
| 2026-03-05 18:50:38 +0100 | <ski> | any particular reason for `forall s ->' ? |
| 2026-03-05 18:48:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-05 18:48:04 +0100 | <ski> | ( x y -- x-y ) |
| 2026-03-05 18:47:57 +0100 | <ski> | ( x y z -- y z x ) |
| 2026-03-05 18:47:15 +0100 | <ski> | which would correspond to the stack effects |
| 2026-03-05 18:46:51 +0100 | <ski> | minus k y x = k (x - y) |
| 2026-03-05 18:46:49 +0100 | <ski> | rot k z y x = k x z y |
| 2026-03-05 18:46:15 +0100 | ski | would call the argument to `run', `w' (for "word"), and the `f' arguments to `push',`dup',`rot',`apply', `k' ("continuation") |
| 2026-03-05 18:45:10 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-03-05 18:44:36 +0100 | <ski> | ah, because of `Stack xs ys', rather than `Stack ys xs' |
| 2026-03-05 18:44:14 +0100 | <ski> | .. oh, you did composition (`.') backwards |
| 2026-03-05 18:43:40 +0100 | [exa] | (~exa@user/exa/x-3587197) (Quit: WeeChat 3.8) |
| 2026-03-05 18:43:39 +0100 | <ski> | Leary : yea, type families would work |
| 2026-03-05 18:28:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-03-05 18:27:04 +0100 | digitteknohippie | Digit |
| 2026-03-05 18:26:44 +0100 | Digit | digitteknohippie |
| 2026-03-05 18:19:08 +0100 | Digit | (~user@user/digit) Digit |
| 2026-03-05 18:14:55 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2026-03-05 18:05:33 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2026-03-05 18:04:35 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-05 17:59:10 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 17:58:36 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-03-05 17:56:20 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2026-03-05 17:54:27 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 244 seconds) |
| 2026-03-05 17:49:28 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 256 seconds) |
| 2026-03-05 17:48:49 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 17:47:13 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 17:47:03 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 17:46:03 +0100 | myme | (~myme@2a01:799:d5e:5f00:332d:919:8ee8:93eb) myme |
| 2026-03-05 17:44:45 +0100 | myme | (~myme@2a01:799:d5e:5f00:3864:a0fc:2539:2c1f) (Ping timeout: 245 seconds) |
| 2026-03-05 17:42:50 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-03-05 17:41:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 17:41:25 +0100 | philopsos1 | (~caecilius@user/philopsos) (Remote host closed the connection) |
| 2026-03-05 17:36:25 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-05 17:36:02 +0100 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2026-03-05 17:34:21 +0100 | <Leary> | ski: Updated: https://gist.github.com/LSLeary/70a398c9814156ce3e698d6df52dd9cf |
| 2026-03-05 17:34:18 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 17:33:28 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 17:27:17 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 17:26:34 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 244 seconds) |
| 2026-03-05 17:24:29 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 2026-03-05 17:23:55 +0100 | Googulator13 | (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-03-05 17:17:35 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Remote host closed the connection) |
| 2026-03-05 17:15:26 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 17:13:55 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-03-05 17:12:59 +0100 | loungerry_ | (~loungerry@150.241.86.78) |
| 2026-03-05 17:12:48 +0100 | loungerry_ | (~loungerry@user/loungerry-:45058) (Quit: left) |
| 2026-03-05 17:07:17 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-03-05 17:05:38 +0100 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-03-05 17:04:57 +0100 | n0den1te | (~n0den1te@user/n0den1te) (Quit: leaving) |