Shen

brainstorming with the help of Claude https://docs.google.com/document/d/

That is apparently what I caught at the end of Feb. Caused by a bacteria bordetella pertussis, I

Wishing a speedy recovery. Om. On Sunday, May 10, 2026 at 1:36:00 PM UTC+2 dr.mt...@gmail.com wrote:

No On Monday, April 13, 2026 at 1:28:39 PM UTC+1 dr.mt...@gmail.com wrote: In the middle of this

(define y-combinator F -> ((/. X (F (/. Y ((XX) Y)))) (/. X (F (/. Y ((XX) Y)))))) (defmacro

Sorry about that mate On Wednesday, April 1, 2026 at 3:42:16 PM UTC+1 dr.mt...@gmail.com wrote: I

The Shen runtime doesn't have a dependency on the socket API last I checked. It's already

Another kernel bug unearthed for 41.1 wrt input+. I'll put this up soon. M. On Tuesday, 17

This is ground I've done before but this time with more depth and care. Building it in the Logic

This is actually proving quite pleasant since Shen/tk stabilised in S40. Attached is a screenshot of

OK; let's review the new features. 1. Addition of fail as a primitive. (datatype not X : A; !;

This bundled in with the sources and I've stopped providing a seperate link. The installation

40.1 will IMO be absolutely optimal wrt the emitted object code. The S40 version is already pretty

Great, I will add a reference to it in the README. On Mon, Feb 2, 2026 at 3:26 PM richard.c...@gmail.

they're ok else I wouldn't use them. M. :) On Wednesday, 31 December 2025 at 09:53:39 UTC

Having battled and won the contest with CL I'm sitting back with a glass of Xmas bourbon as part

Wrt to the nested error problem, I propose to eliminate the problem at a kernel level by making Shen-

the README now allows you to chose where the transaction files are stored for Shen/tk. M.

As well as being able to drop code due to the introduction of absolute pathnames, I;ve looked into

S40 is due to be released. Features include 1. Facility for absolute path names. This introduces a

I believe I have a fix for this. I need a sleep and then I'll test. Mark On Sunday, 28 December

ChatGPT continues to evolve and so do I. After an intense 48 hour interaction we jointly produced a

This is interesting; the compilation of Shen to Kλ in TBoS. The first using a method taken from

thank you and all involved for the wonderful work you have done. it's a gem and hopefully it will

The history of Shen condensed in a few pages. For those of antiquarian interests. 1.5 The Forerunners

I'm juggling 2 papers and a bio right now. I'll return to Yggdrasil in the new year. Mark

Every now and again I get thousands of hits on the Shen site in a day. Today this is coming from

I'm making a few small corrections to Logic, Proof and Computation and will put the amended text

If Yggdrasil works as I planned the most obsolescent port will become alive. As long as the porter

I've been working with Shen and an upcoming release S40. The basic changes are 1. Incorporate