TBoS p.95-98
Global assignments are made using 'set' and the values of the variables recovered using 'value'.
(0-) (set dozen 6) 6 (1-) dozen dozen (2-) (value dozen) 6 (3-) (bound? dozen) true
4. The Core Language
4.6 Sequences
5 Defining Functions
6. Packages
7. Shen-YACC
8. Shen Prolog
9. Types
10 Sequent Calculus
10.2 Exotic Types
Built by Shen Technology (c) Mark Tarver, September 2021