kframework/k — pull request #1020 by osa1 (2014-09-30 18:59:42+00:00)
Title: implement equivalent sorts

Very crude first implementation. Some tests are expected to fail. Not ready for merge.

@yilongli @andreistefanescu can you have a look?