kframework/k — pull request #621 by grosu (2014-06-17 12:05:04+00:00)
Title: Fun updated

FUN also works with unified-builtins2. The substitution-based definition only needed to change one . into .Map. That was nice.