kframework/k — pull request #921 by yilongli (2014-09-02 02:17:03+00:00)
Title: Canonicalize collections in builder pattern (not finished yet)

for testing