purescript-docs-search
purescript-docs-search copied to clipboard
Use pager in CLI
Currently, we are printing the results reversed, so that the most relevant ones appear last. That makes sense, because that way there's no need to scroll. However, using $PAGER when available might be a better option.