kframework/k — pull request #678 by cos (2014-06-26 19:16:41+00:00)
Title: ASTNode implements List

**do not review just yet**