stratify

The horribly named Haskell library intercalate function needs an inverse. My stratify function is an attempt to provide that inverse. Quick\Check tests and preliminary steps toward a Coq proof are included.

• Git repository at git://svcs.cs.pdx.edu/git/stratify.git
• Browse the repository.