The Book of Shen is the official guide to the Shen programming language.
Listing over 400 pages, TBoS includes a complete exposition of Shen, covering recursion, list, string and vector handling, macros, packages, streams, higher-order functions and the use of sequent calculus to define types. A thorough examination of the syntax, formal semantics, compiler and type theory underlying the language is incorporated.
Bad typography, non monospace font for source code - a pain to read. Macros chapter is rather weak. Some unrelated CS stuff for learning the language. All in all good language manual, but does not convince to use the language.