idris-lang/Idris-dev — pull request #1363 by bmsherman (2014-07-06 17:18:41+00:00)
Title: Fix parser for :def REPL command

I won't ask why, but it looks like `some (P.char ' ')` wasn't doing quite what we wanted. Now parsing the `:def` command works.