atom-language-idris icon indicating copy to clipboard operation
atom-language-idris copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Repl history

Open joprice opened this issue 9 years ago • 0 comments

It would be great to have history in the repl, navigable with up and down keys.

joprice avatar Mar 12 '16 15:03 joprice