From fad8f905d05ba6046ff0d67a6b7d446fa5e79c4c Mon Sep 17 00:00:00 2001 From: Craige McWhirter Date: Fri, 8 Apr 2016 17:35:57 +1000 Subject: [PATCH] Initial commit of ghci.conf --- .ghc/ghci.conf | 1 + 1 file changed, 1 insertion(+) create mode 100644 .ghc/ghci.conf diff --git a/.ghc/ghci.conf b/.ghc/ghci.conf new file mode 100644 index 0000000..0b66255 --- /dev/null +++ b/.ghc/ghci.conf @@ -0,0 +1 @@ +:set prompt "%s λ: "