once, run anywhere
Home | Learn Shen | Download
a portable functional programming language that offers
integrated fully functional Prolog,
an inbuilt compiler-compiler.
one of the most powerful type systems within functional
programming. Shen runs under a reduced instruction Lisp
and is designed for portability. The word
Shen is Chinese for 'spirit' and our motto
reflects our desire to liberate our work to live under
many platforms. Shen includes sources and is absolutely
free for commercial use. It currently runs under CLisp
and SBCL, Clojure, Scheme, Ruby, Python, the JVM and
of Shen is now available here.
out!: Logic, Proof and Computation is
a new text written to introduce programmers to
combined topics in computational, mathematical
and philosophical logic. The book is computer
supported by programs in Shen.
with a review of formal languages and their
syntax and semantics, Logic, Proof and
Computation conducts a computer assisted
course in formal reasoning and the relevance of
logic to mathematical proof, information
processing and philosophy.
read more or to order click here.
is now a drive to place Shen under BSD; you can
help support for this here.
do not have to pay any money at this stage.
Pledges of at least £1000 receive a link to a
site of your choice from this page for 5 years if
the appeal is successful. Any sponsor sponsoring
the full amount receives this link for life .
have collected just over £2000 towards the goal
of £8500. Help us to the next stage of our
project by contributing. To see more of what we
are planning, see here.
on 9th November 2014: £2192.52
- for the current total go to this page