Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #270 from bsturmfels/future
This is already what is used in util.py and old stream.py. I don't see no reason not to do so, except maybe improving it by calling it from util as in the new stream.py
- Loading branch information