Progressively refine partitions of a finite set - View it on GitHub