Shen

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

The next test case is the Shen Prolog Einstein's Riddle program. The this is significantly more

I suffered a personal loss early this month and am taking a break. Aplogies for being quiet. I will

As a PS it works under Windows 11! I just have to use Windows 10 to install it. M. On Saturday, 18

Thank you. this now works. (4-) (define stringify [] -> "()" [skip] -> ")"

...Might there then be a good summary explanation of scoping in Shen? (eg in JavaScript things like

I think Chez has a type inference pass, you can also disable runtime type checking with a compiler

That works. Thanks! "dr.mt...@gmail.com" <dr.mt...@gmail.com> wrote: > OK; the

Yes; it should be (p -> ~p) -> ~p. I'll fix the other typos too. thx Mark On Sunday, 7

Woo wrote What would be THORN's reaction to "I am happy that I'm not happy," and