idris-lang/Idris-dev — pull request #675 by cgswords (2013-11-26 21:39:23+00:00)
Title: [Issue 590] Added a --nobanner flag to supress the banner 

A small fix for [Issue 590](https://github.com/idris-lang/Idris-dev/issues/590), which provides a `--nobanner` flag to the Idris runtime, surpressing the banner at the REPL.