stratify

The horribly named Haskell library intercalate function needs an inverse. My stratify function is an attempt to provide that inverse. QuickCheck tests are included. Preliminary steps toward a Coq proof have been made; some are included.

Git repository at http://github.com/BartMassey/stratify