Re-enable / reimplement `any` & `all`
Closed this issue · 0 comments
plajjan commented
any and all were commented out some time ago. @sydow do you remember why? The related commit is 0e53227
Just uncommenting the code again leads to a compilation error for $NOT... but I think that's something more general about boolean-something-blabla-problems in the compiler. I think it's possible to rewrite the all / any functions to work right now without fixing anything else.