kframework/k — pull request #1057 by dwightguth (2014-10-10 15:12:47+00:00)
Title: Kast in k

I created this diff for use in managing the discussion on the KORE syntax. We may choose to close it rather than merge it, I just need a place to put comments.