Shen

Things being bit slack before the fireworks; I've been watching a youtube commentary on Alpha

Indeed - the first I remember was in 1990. Mark On Fri, Sep 10, 2021 at 8:06 PM Raoul Duke <raould

We are currently working on a cross compiler bootstrapped Prolog. We managed to support a JavaScript

Everybody should now have a copy; if you have not please email me. Mark On Friday, 27 August 2021 at

Bug fixed. I'm now modularising the installation procedure to separate out various components;

The Shen Language Foundation is now trademarked. Trade Mark No: UK00003662442 Mark: Shen Language

On Mon, Aug 9, 2021 at 6:29 AM Mark Tarver <dr.mtarver@gmail.com> wrote: > > is really

I would say a book. There may be three books concerned with technology that has evolved with SP. 1.

I do hope the e-publishing thing goes well; eyesight isn't what it used to be - reading from a

Packages follow the default applicative order evaluation so the innermost package is unpackaged first

Logic, Proof and Computation introduced an exposition of first order logic that I have now reproduced

Dear All, It's been a quiet start to this month, but I will be posting an important message on

The legal stuff is now done. Mark On Wednesday, 16 June 2021 at 13:58:32 UTC+1 Mark Tarver wrote:

(define nlength N -> (nlength-h N 10 1)) (define nlength-h NMC -> (nlength-h N (* M 10) (+ C 1)

There is really a significant gain in brevity and clarity when logic rules are implemented in the

Here we have a parameterised rule: (sequent lemma (Q : prop) Q; Q >> P; _______ P;) (fn f4320)

The reader needs to be modified and you need to implement utf8 decoding over byte streams. Below is a

please do fuzzy Mark On Sunday, 16 May 2021 at 11:19:02 UTC+1 fuzzy wozzy wrote: (nlength 275) = 3 (

That's a valuable resource; scanning the examples they seem for the most part to involve

[X | Y] goes to (cons XY) but this is done by the Shen reader. A lot of the Shen kernel is engineered

Hi Doug. No, unlike in Scheme, in Shen function definitions cannot be nested. On Wed, May 5, 2021 at

The new website is now rendered from Shen - exactly 100 web pages. The rendering is done under an old

Oh, an addendum - there is an LPC 3rd edition - not completed, sitting on my machine. Mark On Monday,

SP 30 is deployed; cloud support for SP 28 has been removed and this old version is now deactivated.

I took the opportunity to knock a bug out of the FTP which I'd missed that was causing it to

passed ... 489 failed ...0 pass rate ...100% ok 0 run time: 27.98699951171875 secs looks good Mark On

S30 self-compiled and passed all 134 automated kernel tests at 11:23 today. Mark On Wednesday, 14

There is no 'describe' in Shen but there is in Common Lisp. It sounds like a feature of that

Hej hejssan, Olen Helsingissä, Auroran sairaalassa, osastolla 6-2, joka on suljettu osasto. Olen

OOPS https://en.wikipedia.org/wiki/Kabbalah AJY perjantai 2. huhtikuuta 2021 klo 21.01.20 UTC+3 Antti