kframework/k — pull request #598 by grosu (2014-06-14 02:51:47+00:00)
Title: added lambda

Since we decided that we allow definitions in the unified-builtins2 branch to pass if they pass with the Maude backend only, here is lambda.