effectivats-divideconquer

A generic implementation of divide-and-conquer for use in the Effective-ATS series