Shen

If you run the original program in SWI Prolog it does indeed work but not in Shen Prolog. The reason

Besides YACC not needing the type annotations anymore, 'type' still can't reference type

I spent some time the other day trying again to get shen-scheme to run in racket using your work Bram

That was it, thank you and sorry! Even tho I had been doing that before, I hadn't realized it was

I think the exercise of the greatest scope and general interest is based on https://shenlanguage.org/

Thanks Mark and Bruno! On Sun, Nov 27, 2022 at 10:32 AM Bruno Deferrari <utizoc@gmail.com>

Get well soon Mark. On Sun, Nov 27, 2022 at 1:18 AM Joel McCracken <mccracken.joel@gmail.com>

> I'd love to see some content which is more directly about Shen. Specifically, practical,

Recently ran across mal from the talk on YouTube: https://youtu.be/lgyOAiRtZGw It feels like it

Hence expect new version as described this month as soon as I'm better. 2022 is turning out to be

Well, it is assumed that macroexpansion is confluent and terminating, so this should not matter. Just

I suspect that there is more than one way to solve this issue but renaming is the standard way to

A lot of my time this month has been taken up with the practical repercussions of the world crisis

Just off to bed. You might find this useful. Basically the type algorithm you want is this: Given a

I just notice the docs comment on it here: https://www.swi-prolog.org/pldoc/doc_for?object=

Nevermind! I have a hardcopy of the third edition of the book and just looked this up in the 4th

t-star.shen M. On Mon, Oct 17, 2022 at 12:21 PM emum <emummel20@gmail.com> wrote: Hi Dr. Tarver

As you might have heard the UK has lost its chancellor. The shortest term in office apart from one

Just published a new release of Shen/Scheme. The main change in this release is that it fixes some

I've finally converged on a version which works the way I think it should. Full testing remains

Seems sensible, you can also have overloaded types that way. M. On Thursday, 22 September 2022 at 14:

I'm now integrating the ideas of the past n versions starting with FTP v 34 and bringing in the

This is a very topical subject for me at the moment because I'm writing up the FTP (in

Well you could - but you might as well just state what it is you expect to prove if you're so

Shen/Scheme v0.26 has been released, it comes with an updated version of the kernel. https://github.

This is installed via the cloud in SP. The patch fixes a long-standing bug whereby ! sometiomes fails

These are the accepted commandline options btw: commands: repl Launches the interactive REPL. Default

I had problems with this before, which is one of the reasons I stopped using the SBCL port. It was

FTP 37 - an optimised version of FTP 36 gets the same result in 16039 inferences compared to 29028

I got some of the figures wrong here, but on one problem FTP 35 solved it in 20000 inferences vs FTP