TBoS p.56
Guards are also present in the language.
(define greater-or-equal X Y -> X where (> X Y) _ Y -> Y) greater-or-equal (greater-or-equal 4 3) 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