TBoS p.95-98
Global assignments are made using 'set' and the values of the variables recovered using 'value'.
(set dozen 6) 6 dozen dozen (value dozen) 6 (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