Skip to content

Instantly share code, notes, and snippets.

@jproyo

jproyo/ghci.conf

Last active January 20, 2019 12:07
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jproyo/c370550b1a676555228c3d3aaba55353 to your computer and use it in GitHub Desktop.
Save jproyo/c370550b1a676555228c3d3aaba55353 to your computer and use it in GitHub Desktop.
Download ZIP
Local Ghci configuration
Raw
ghci.conf
:set prompt "λx.x> "
:set prompt-cont " > "
:set -XNoStarIsType
:set -XGADTSyntax
:set -XGeneralizedNewtypeDeriving
:set -XInstanceSigs
:set -XLambdaCase
:set -XPartialTypeSignatures
:set -XScopedTypeVariables
:set -XTypeApplications
:set -XOverloadedStrings
:set -fno-warn-type-defaults
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment