kframework/k — pull request #758 by dwightguth (2014-07-25 21:07:48+00:00)
Title: initial commit for Google Guice

**do not review yet**