idris-mode icon indicating copy to clipboard operation
idris-mode copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

rlwrap for repl

Open ju-sh opened this issue 1 year ago • 4 comments

Hi.

Is there a way to have the idris-repl use rlwrap?

So that command history can be made use of?

ju-sh avatar Mar 07 '23 14:03 ju-sh