From 52128d6fbf6958f104614b2295d8c5eaac8373c4 Mon Sep 17 00:00:00 2001 From: Ivan Malison Date: Thu, 15 Sep 2016 16:08:51 -0700 Subject: [PATCH] Add ghci dotfile --- dotfiles/ghci | 1 + 1 file changed, 1 insertion(+) create mode 100644 dotfiles/ghci 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