Closed lue-bird closed 9 months ago
As hinted at in #28
Dict.filter f Dict.empty --> Dict.empty Dict.filter (\_ _ -> True) dict --> dict Dict.filter (\_ _ -> False) dict --> Dict.empty
Bonus: Correct Evaluate.isAlwaysBool (terrible name and seems unnecessary anyway?), add Set.filter simplifications to summary.
Evaluate.isAlwaysBool
Set.filter
As hinted at in #28
Bonus: Correct
Evaluate.isAlwaysBool
(terrible name and seems unnecessary anyway?), addSet.filter
simplifications to summary.