Removed min/max for Collection. To be re-added as mixins when that is more feasible.
tree606f1f9d3f3aeae84bbd1e1e0f9cf7e5db7e18f2
-rw-r--r-- 254 .gdbinit
-rw-r--r-- 128 .gitignore
-rw-r--r-- 4082 INTERNALS
-rw-r--r-- 1128 LICENSE
-rw-r--r-- 3374 Makefile
lrwxrwxrwx 9 README -> README.md
-rw-r--r-- 5989 README.md
-rw-r--r-- 3341 TODO.org
-rw-r--r-- 7553 common.mk
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - pkg
drwxr-xr-x - src
drwxr-xr-x - tests