Newest at the top
| 2026-03-05 21:45:51 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 21:41:03 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-03-05 21:35:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-05 21:33:43 +0100 | kuribas | (~user@2a02:1810:2825:6000:d4d2:7bb2:8f5b:632a) kuribas |
| 2026-03-05 21:29:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-05 21:22:42 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-05 21:22:21 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-03-05 21:21:20 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 21:20:42 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-03-05 21:18:32 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 244 seconds) |
| 2026-03-05 21:16:50 +0100 | oskarw | (~user@user/oskarw) (Ping timeout: 248 seconds) |
| 2026-03-05 21:15:07 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-03-05 21:14:15 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-03-05 21:13:24 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 21:11:49 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 21:04:25 +0100 | humasect | (~humasect@192.249.132.90) humasect |
| 2026-03-05 20:59:30 +0100 | gabiruh | (~gabiruh@191.252.222.55) gabiruh |
| 2026-03-05 20:51:06 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-03-05 20:49:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 267 seconds) |
| 2026-03-05 20:48:50 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) (Ping timeout: 268 seconds) |
| 2026-03-05 20:48:13 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-03-05 20:48:03 +0100 | kuribas | (~user@2a02:1810:2825:6000:67a:4325:ab5b:92a9) (Ping timeout: 244 seconds) |
| 2026-03-05 20:47:50 +0100 | <ski> | (in Forth, `cond (...) (...)' would correspond to `if ... else ... then', which i'd say is reasonably close (mixfix like in Agda would get closer). of course, no compile-time words, in the above model) |
| 2026-03-05 20:44:04 +0100 | durstloescher | (~textual@2a02:8109:1b01:2500:2cec:18b6:70c1:9f6f) |
| 2026-03-05 20:43:43 +0100 | durstloescher | (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-03-05 20:41:10 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-03-05 20:40:56 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 258 seconds) |
| 2026-03-05 20:39:37 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 20:36:41 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 20:32:11 +0100 | rainbyte | (~rainbyte@2800:810:5fa:2b1:ead4:b2fc:4979:be59) rainbyte |
| 2026-03-05 20:31:28 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2026-03-05 20:30:57 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 2026-03-05 20:30:27 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-03-05 20:24:10 +0100 | <EvanR> | laziness reigns |
| 2026-03-05 20:22:46 +0100 | Tuplanolla | (~Tuplanoll@88.114.89.88) Tuplanolla |
| 2026-03-05 20:22:39 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 20:21:59 +0100 | <ski> | interesting to note how tail recursion turns into monomorphic recursion, while non-tail recursion turns into polymorphic recursion |
| 2026-03-05 20:21:23 +0100 | <lambdabot> | 120 |
| 2026-03-05 20:21:22 +0100 | <ski> | > let factTimes = dup . push 0 . greater . cond (dup . push 1 . minus . rot_ . times . L.swap . factTimes) L.drop in run (push 1 . push 5 . factTimes) |
| 2026-03-05 20:21:11 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2026-03-05 20:21:00 +0100 | tromp | (~textual@2001:1c00:3487:1b00:2466:6319:20fa:c233) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-03-05 20:20:48 +0100 | dfg | (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 2026-03-05 20:14:26 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-05 20:13:42 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-05 20:12:53 +0100 | <ski> | (polymorphic recursion) |
| 2026-03-05 20:12:47 +0100 | <lambdabot> | 120 |
| 2026-03-05 20:12:46 +0100 | <ski> | > let fact :: Integral a => (a -> o) -> (a -> o); fact = dup . push 0 . greater . cond (dup . push 1 . minus . fact . times) (L.drop . push 1) in run (push 5 . fact) |
| 2026-03-05 20:12:35 +0100 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-05 20:09:51 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-05 20:08:20 +0100 | <int-e> | (But the CPS transform is used seriously... but you often want more than one continuation and then `.` for sequencing breaks down) |