From 016135c8416b507db25ba0210b70537d821e727f Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Wed, 29 Jun 2016 02:51:00 -0400 Subject: [PATCH] Add ghci --- ghci | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 ghci diff --git a/ghci b/ghci new file mode 100644 index 00000000..4c88d43d --- /dev/null +++ b/ghci @@ -0,0 +1,8 @@ +:set prompt "λ> " + +:set -XOverloadedStrings +:set -XPartialTypeSignatures + +:set -fdefer-type-errors +:set -fwarn-typed-holes +:set -isrc