summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2019-03-02 15:28:24 -0800
committerBen Sima <ben@bsima.me>2019-03-02 15:28:24 -0800
commit189ae4dd8845ebd0967578accd03a77071ab2732 (patch)
tree60a2e9c4e94c6ca079c1369576db8b9a66a42033
parent7122109a0c064fcc99fb58f2759ad02b1143e2c6 (diff)
Source lore in ghci
-rw-r--r--.ghci1
1 files changed, 1 insertions, 0 deletions
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 "| "