idris-lang/Idris-dev — pull request #1276 by jfdm (2014-06-02 15:44:54+00:00)
Title: Added warranty information to the Idris Repl.

Added REPL command: `:w`, `:warranty`.

This command displays the warranty information governing the use of `Idris`. This information comes from the last paragraph of the software license that `Idris` is licensed under.