Guide to the Navigation Bar from Top to Bottom
Shen in 15 minutes gives a quick introduction. The Shen
Open Source Manual details the language in more depth; these two links
were early online resources for learning Shen.
The Book of Shen, 5th edition is the latest and, like all the
editions, the most thorough and authoritative guide to Shen.
The Book of Shen, 4th edition is available online.
Shen is founded on sequent calculus. If your logic needs a brush-up,
Logic, Proof and Computation
will teach how sequent calculus works. This is available as hardcopy.
The software for Logic, Proof and Computation was written using
Logic Lab technology. Programming the Logic Lab gives a thorough exposition
of this technology.
THORN (Theorem prover based on HORN clause logic) is a high-performance
program for first-order logic using Prolog technology.
The Standard Library is distributed with Shen kernel downloads. This
link provides the online documentation.
In 2024, Shen was given a type-secure link to TCL/tk allowing the user to
create GUIs. The result, Shen/tk is documented online. There are binaries
for Shen/tk here.
The Shendoc webpage was the first guide written for Shen in 2011. It is useful
as a language standard for those porting Shen. Shendoc is a developer's guide rather than a resource for learning
Shen.
Other Resources
Chief is the
online newsgroup.
You can also try ChatGPT. It is sometimes helpful, but also is prone to error on Shen.
Articles
Coding a Lisp Interpreter in Shen by Mark Tarver
a practical case study of working with Shen to code a type secure Lisp interpreter.
Shen Tutorial: Sequent Calculus by Neal Alexander
a Prolog based study on Shen's interpretation of sequent calculus.
Kicking the Tyres of Shen Prolog by Chris Double
gives a pretty thorough examination of Shen Prolog.
Defining Types in Shen by Chris Double
an introduction on how to define types in Shen
Videos
Shen: a sufficiently advanced Lisp by Aditya Siram
Clever, Classless and Free by Hakan Raberg
Shen Trick Shots by Aditya Siram
Programming in Shen: Sequent Calculus and Metaprogramming by Mark Tarver
This last video is a good introduction to defining types in sequent calculus in Shen.
You can learn about Shen on the Shen Computer Science Education Channel on Youtube
which opened in June 2022. A repository for all the code in these video is kept
here.
Shen Online
There is an old interactive
Javascript page of the Shen REPL.
OS Wiki
There is an OS wiki.
Contact Bruno Deferrari through the News Group if you want to contribute.
|
