kframework/k — pull request #609 by grosu (2014-06-15 16:33:30+00:00)
Title: Simpe typed static

Updated simple typed static to work with the unified-builtins2 branch.