Closed treeowl closed 2 years ago
Use stimes = stimesMonoid so that stimes 0 q produces empty instead of an error.
stimes = stimesMonoid
stimes 0 q
empty
Fixes #54
Use
stimes = stimesMonoid
so thatstimes 0 q
producesempty
instead of an error.Fixes #54