Shen

I was looking at the chapter on compiling sequent calculus in TBoS and decided it could be rewritten

Hello, binaries are always available at https://github.com/tizoc/shen-scheme/releases On Fri, Jan 9,

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

Based on taking the path of the least resistance, I fed ChatGPT the paper I wrote with it. It seems

This exchange which resulted in a paper cited on this group ccupies 800+ pages of transcript. I'm

words fali me On Monday, August 11, 2025 at 12:08:32 PM UTC-7 dr.mt...@gmail.com wrote: Said