kframework/k — pull request #604 by grosu (2014-06-15 12:58:05+00:00)
Title: 3 lambdapp

Updated lambda++ to work with unified-builtins2.