diff --git a/dotfiles/ghci b/dotfiles/ghci
new file mode 100644
index 00000000..597984f0
--- /dev/null
+++ b/dotfiles/ghci
@@ -0,0 +1 @@
+:set +c