soonhokong/lean — pull request #7 by codyroux (2014-05-06 22:30:47+00:00)
Title: feat(frontends/lean/parser):

Improved printing for REPL loop: print the type in addition to the id of an assumed or defined constant.