idris-lang/Idris-dev — pull request #1621 by trillioneyes (2014-10-12 04:41:36+00:00)
Title: Repl definitions

`:let` should now allow you to define custom syntax at the repl:
```
> :let syntax bot = _|_
> bot
_|_ : Type
> :let syntax "|" [x] "|" = Just x
> |5|
Just 5 : Maybe Integer
```