edwinb/Idris-dev — pull request #453 by Melvar (2013-08-14 03:04:20+00:00)
Title: Ignore initial whitespace and comments in REPL

This allows whitespace before any command, and whitespace and comments before any full expression, as well as without an expression so a comment by itself parses as `NOP`.