idris-hackers/idris-mode — pull request #71 by david-christiansen (2014-01-29 17:46:26+00:00)
Title: Fix REPL completion

Now that idris-eval returns an optional second element, we needed to
examine the car to get the result.