kframework/k — pull request #867 by dwightguth (2014-08-21 21:10:11+00:00)
Title: strongly type attributes

@cos please review