3 ms·
I did, anySatisfy (\s -> p (False : s)) ==> (\s -> p (False : s)) (find (\s -> p (False : s))) ==> p (False : find (\s -> p (False : s)))
by Veedrac 8y ago
I did,
anySatisfy (\s -> p (False : s))
==> (\s -> p (False : s)) (find (\s -> p (False : s)))
==> p (False : find (\s -> p (False : s)))