kframework/k — pull request #422 by radumereuta (2014-05-07 17:39:09+00:00)
Title: Quine update

Added .List instead of simply . to make it correct for the unified-builtins branch.