2 Jun
2018
2 Jun
'18
5:57 p.m.
Jared Weakly
It looks to me like many of the applications of snocBag should really be using OrdList.
Do you think there's benefit in refactoring to use ordList and then removing snoc/cons from the bag API (instead providing only operations that make no assumptions about ordering)?
Absolutely. I think that is the right direction to move. Please do give it a stab if you would like! Cheers, - Ben