erased comments, double spaces, and unified tab and space farmating
-rw-r--r-- 1847 README.wsmo4ios
-rw-r--r-- 404 TODO
-rw-r--r-- 6692 axioms.todo
drwxr-xr-x - base-concepts
drwxr-xr-x - domain-concepts
drwxr-xr-x - instances
drwxr-xr-x - specs
drwxr-xr-x - workarounds