idris-hackers/idris-mode — pull request #121 by david-christiansen (2014-04-29 21:36:39+00:00)
Title: Don't show absurdly long prompts

The new customization option idris-repl-prompt-style allows users to
pick between showing the long prompt and just having a lambda-pi prompt
with the name from Idris as a tooltip.

This is relevant following the loading of source dirs from ipkg files.