factorial-prime? ( n -- ? )

Vocabulary

math.factorials

Inputs

n

an object

Outputs

?

an object

Definition

USING: combinators.short-circuit math.factorials.private
math.primes ;

IN: math.factorials

: factorial-prime? ( n -- ? )
    { [ prime? ] [ [ factorial ] -prime? ] } 1&& ;