Newest at the top
| 2025-03-24 23:41:36 +0100 | <EvanR> | :unlambda ,,,,.,,,,.... |
| 2025-03-24 23:40:52 +0100 | <lambdabot> | unlambda provides: unlambda |
| 2025-03-24 23:40:52 +0100 | <geekosaur> | @list unlambda |
| 2025-03-24 23:40:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 23:40:47 +0100 | <geekosaur> | oh, huh |
| 2025-03-24 23:40:41 +0100 | <lambdabot> | seen slap source spell system tell ticker todo topic type undo unlambda unmtl version where |
| 2025-03-24 23:40:41 +0100 | <lambdabot> | activity base bf check compose dice dict djinn dummy elite eval filter free fresh haddock help hoogle instances irc karma localtime metar more oeis offlineRC pl pointful poll pretty quote search |
| 2025-03-24 23:40:41 +0100 | <geekosaur> | @listmodules |
| 2025-03-24 23:40:14 +0100 | <EvanR> | I've never see it mentioned in "this channel" |
| 2025-03-24 23:40:02 +0100 | <EvanR> | wiki claims it still exists |
| 2025-03-24 23:39:21 +0100 | <geekosaur> | don't see a commit in the git log removing it but it's last mentioned in 2011 |
| 2025-03-24 23:38:10 +0100 | <EvanR> | figures xD |
| 2025-03-24 23:37:36 +0100 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-24 23:37:06 +0100 | <geekosaur> | I vaguely recall it being one of the plugins I disabled for my heavily customized lambdabot instance back then |
| 2025-03-24 23:36:04 +0100 | <geekosaur> | I think it stopped building at some point |
| 2025-03-24 23:32:36 +0100 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2025-03-24 23:32:06 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 252 seconds) |
| 2025-03-24 23:30:31 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-24 23:30:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-03-24 23:28:48 +0100 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-03-24 23:28:40 +0100 | <EvanR> | according to a 2006 mailing list post I found announcing a new version of lambdabot, it has "an unlambda interpreter" |
| 2025-03-24 23:26:14 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 23:24:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 23:18:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-24 23:13:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 23:05:41 +0100 | kh0d | (~kh0d@212.200.65.82) (Ping timeout: 248 seconds) |
| 2025-03-24 23:03:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-03-24 23:03:08 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-03-24 23:01:00 +0100 | kh0d | (~kh0d@212.200.65.82) kh0d |
| 2025-03-24 22:58:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 22:56:48 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-03-24 22:54:37 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-24 22:54:16 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-24 22:52:47 +0100 | <EvanR> | answer: no |
| 2025-03-24 22:46:28 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-03-24 22:45:49 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-03-24 22:45:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-24 22:45:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-24 22:43:10 +0100 | <EvanR> | can you somehow prove the opposite law |
| 2025-03-24 22:42:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-24 22:42:12 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-03-24 22:41:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-24 22:39:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-24 22:37:44 +0100 | <tomsmeding> | I'm saying that the behaviour of 'check' pins down the semantics of 'Stack' (modulo initial/empty stack), not that every invocation of 'check' says something meaningful |
| 2025-03-24 22:37:35 +0100 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2025-03-24 22:36:57 +0100 | <EvanR> | as long as the [Maybe a] isn't infinite |
| 2025-03-24 22:36:37 +0100 | <tomsmeding> | but neither does the output order :p |
| 2025-03-24 22:36:19 +0100 | <tomsmeding> | which, like, doesn't matter for my claim |
| 2025-03-24 22:36:08 +0100 | <tomsmeding> | then you process the list of instructions in reverse |
| 2025-03-24 22:35:53 +0100 | <EvanR> | is just using foldr instead of foldl' enough |