2 ms·Ghci comes with editline/readline generally. So Ctrl-r is backward search.by lelf 13y agoGhci comes with editline/readline generally. So Ctrl-r is backward search.