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