From 189ae4dd8845ebd0967578accd03a77071ab2732 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Sat, 2 Mar 2019 15:28:24 -0800 Subject: Source lore in ghci --- .ghci | 1 + 1 file changed, 1 insertion(+) diff --git a/.ghci b/.ghci index 49e87da..cbe63be 100644 --- a/.ghci +++ b/.ghci @@ -1,3 +1,4 @@ :set -iapex +:set -ilore :set prompt "λ " :set prompt-cont "| " -- cgit v1.2.3