primorial-prime? ( n -- ? )

Vocabulary

math.factorials

Inputs

n

an object

Outputs

?

an object

Definition

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

IN: math.factorials

: primorial-prime? ( n -- ? )
    { [ prime? ] [ 2 > ] [ [ primorial ] -prime? ] } 1&& ;