Skip to content

Conversation

MatthewDaggitt
Copy link
Contributor

Fixes #920. For each function that took a decidable predicate as an argument, adds a new boolean valued version of it, and redefines the existing predicate version in terms of it.

Bikeshedding about the naming convention welcome!

@MatthewDaggitt MatthewDaggitt added this to the v2.0 milestone Feb 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

On filter and boolFilter
1 participant