S-and-M-can't-be-zero ( seq -- seq' )

Vocabulary

logic.examples.money

Inputs

seq

an object

Outputs

seq'

an object

Definition

USING: assocs kernel lists sequences ;

IN: logic.examples.money

:: S-and-M-can't-be-zero ( seq -- seq' )
    seq [| hash |
        1 hash N1 of lnth 0 = not 1 hash N2 of lnth 0 = not and
    ] filter ;