kframework/k — pull request #1115 by radumereuta (2014-10-27 22:22:32+00:00)
Title: Parse in module

Don't review yet.