logcat/ghci.conf

Created April 20, 2017 17:57

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/logcat/a07b70db4c027b91f1149626db980e2a.js"></script>
Save logcat/a07b70db4c027b91f1149626db980e2a to your computer and use it in GitHub Desktop.

Download ZIP

ghci prompt

Raw

:set prompt "\ESC[38;5;161m❯\ESC[1;34mλ= \ESC[0m"

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