From f75eaf7fff963b88e412d315d0fdef8151943c20 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Sat, 23 Feb 2019 19:46:09 -0800 Subject: Reorganize directory --- .ghci | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 .ghci (limited to '.ghci') diff --git a/.ghci b/.ghci new file mode 100644 index 0000000..49e87da --- /dev/null +++ b/.ghci @@ -0,0 +1,3 @@ +:set -iapex +:set prompt "λ " +:set prompt-cont "| " -- cgit v1.2.3