202202072330

github-actions released this 07 Feb 23:30

4c17919

* Add BagsExt to modules loaded by default by the REPL

* Add test with non-naturals domain
* Add tests for incorrect inputs
* Remove unused imports and apply Eclipse style

Assets 6