i.e. now that I'm using `Core` for lazy sequences. e.g. credalsetIO.ml uses Batteries.List. Or use stdlib? Or `Containers`?
i.e. now that I'm using
Corefor lazy sequences. e.g. credalsetIO.ml uses Batteries.List. Or use stdlib? OrContainers?