Skip to content

Instantly share code, notes, and snippets.

@alem0lars-yr

alem0lars-yr/ghci

Created April 17, 2017 13:23
Show Gist options
  • Save alem0lars-yr/b0ba912dbf152be538f8eee85153e06c to your computer and use it in GitHub Desktop.
Save alem0lars-yr/b0ba912dbf152be538f8eee85153e06c to your computer and use it in GitHub Desktop.
Download ZIP
ghci config file (put it in ~/.ghci)
Raw
ghci
let ghciEscapeShellArg arg = ...
:def! search return . (":! hoogle --color " ++) . ghciEscapeShellArg
:def! doc return . (":! hoogle --info --color " ++) . ghciEscapeShellArg
@alem0lars-yr
Copy link
Author

TODO check if working and add ghciEscapeShellArg

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment