You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
but I think that's a bigger lift than we can manage with this PR.
I agree this would be a nice idea. I also like the operators for this kind of composition, but we need to think well how are they joint and what is allowed.
Would be allow to exclude them? ie good_docs() & !high_risk()?
Activity
llrs-roche commentedon Aug 25, 2026
From #5:
I agree this would be a nice idea. I also like the operators for this kind of composition, but we need to think well how are they joint and what is allowed.
Would be allow to exclude them? ie
good_docs() & !high_risk()?