idris-lang/Idris-dev — pull request #1361 by trillioneyes (2014-07-06 02:39:53+00:00)
Title: Repl definitions

Added a `:let` command in the repl which supports simple name-binding, accompanying type declarations, and data type definition.