Merge pull request #30 from gridaphobe/master

Rename zipw.hs to zipW2.hs
state seq can not be safe
moving tbd blog entries into subdirectory
asd
cleanup garbage
starting kmeans entry
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
starting kmeans entry
asdasd
simplify consBind -> Base crashing
Base fixed
small progress on kmeans entry...
asdasd
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell
twiddle
replace preds args with existentials
Adasdasd
splitC ex see pargs1
hide exists from user
update tests