kframework/k — pull request #1133 by cos (2014-10-29 22:33:49+00:00)
Title: feature/scala support

**do not review yet**