kframework/k — pull request #551 by yilongli (2014-06-05 05:01:43+00:00)
Title: Use cons list in ksequence

Use cons list as the underlying data structure of KSequnce to enable efficient reuse of the tail.