partition states into doomed and non-doomed
-rw-r--r-- 1505 LICENSE
-rw-r--r-- 5452 Makefile
-rw-r--r-- 1402 Makefile.haskell
-rw-r--r-- 3204 README
-rw-r--r-- 231 README.Haskell
-rw-r--r-- 5529 TODO
drwxr-xr-x - doc
-rw-r--r-- 83 index.html
drwxr-xr-x - misc
drwxr-xr-x - src
drwxr-xr-x - tests