Newest at the top
| 2026-03-05 19:53:39 +0100 | madresch | (~Thunderbi@user/madresch) (Ping timeout: 245 seconds) |
| 2026-03-05 19:47:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-03-05 19:41:26 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-03-05 19:38:07 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-03-05 19:31:04 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-03-05 19:26:50 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-05 19:25:59 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 19:25:18 +0100 | opqdonut__ | (opqdonut@pseudo.fixme.fi) |
| 2026-03-05 19:23:49 +0100 | opqdonut__ | (opqdonut@pseudo.fixme.fi) (Ping timeout: 276 seconds) |
| 2026-03-05 19:21:39 +0100 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-05 19:18:24 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 19:17:36 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 19:16:41 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-05 19:16:36 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-03-05 19:16:28 +0100 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-05 19:14:19 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2026-03-05 19:14:11 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) |
| 2026-03-05 19:13:50 +0100 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2026-03-05 19:13:48 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Client Quit) |
| 2026-03-05 19:13:30 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 19:09:43 +0100 | madresch | (~Thunderbi@user/madresch) madresch |
| 2026-03-05 19:02:04 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-05 18:57:21 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-03-05 18:54:55 +0100 | Square2 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-03-05 18:54:27 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 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) |