From 1ade8a59223202472aff61119c4cdcd70446b8ec Mon Sep 17 00:00:00 2001
From: Egor Tensin <egor@tensin.name>
Date: Wed, 20 Aug 2025 00:42:51 +0200
Subject: remove GHCi configuration

Sadly, I don't think I'm coming back any time soon.
---
 %HOME%/.ghci | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 %HOME%/.ghci

(limited to '%HOME%')

diff --git a/%HOME%/.ghci b/%HOME%/.ghci
deleted file mode 100644
index 0cb900e..0000000
--- a/%HOME%/.ghci
+++ /dev/null
@@ -1,9 +0,0 @@
-:set prompt "> "
-:set prompt2 ""
-
-:seti -w
-
-:def hoogle \x -> return $ ":!hoogle \"" ++ x ++ "\""
-
-:set -XOverloadedStrings
-:set -XTupleSections
-- 
cgit v1.2.3