Comment by WalterGR

The only examples are in the source.

  [ dup * ] is square
  [ dup 2 < [ drop 1 ] [ dup 1 - fact * ] ifelse ] is fact
  4 square .
  5 fact .