Guards

5.6 Guards

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