Shen

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

Dear All, It's been nearly two years since I spoke about my long-term plans for Shen and probably

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

So the issue I was talking about applies to any file to be honest, the parser does not print back the

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

Such is the catchy title of a new paper; but there's a lot there to interest Shenturions. THORN,

No problems; the download and support pages for LPC have been updated. Mark On Saturday, 2 August

I've fixed a bug in Shen/tk involving relative and absolute pathnames which was triggered by the

That confirms my suspicions. It looks like it also works if you put both inside a package. I wrote a

If you can run this stuff under Shen/Scheme, do so. You need to load stlib into that port though.

The limits of inference for this architecture wo major additions were reached in THORN 19. But one

mapf is stlib. That sounds as if you don't have the standard library loaded. THORN (Theorem

Just to add, if you've been using the free version of chatgpt, I'd highly recommend trying

I've updated the documentation on THORN 19 and on that page is a link to a short paper in

Anyway here is machine translation in the small a la Tarski. I give the semantics for a fragment of

Not yet. I'll look into it. M. On Saturday, 21 June 2025 at 15:08:56 UTC+1 Bruno Deferrari wrote: