From 85346ca108655a8cb732b32597337f3c94d8ad2d Mon Sep 17 00:00:00 2001 From: Vehbi Sinan Tunalioglu Date: Fri, 26 Apr 2024 09:47:48 +0800 Subject: [PATCH] chore(dev): add .ghci for convenience --- .ghci | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 .ghci diff --git a/.ghci b/.ghci new file mode 100644 index 0000000..f7f4191 --- /dev/null +++ b/.ghci @@ -0,0 +1,2 @@ +:set -XOverloadedStrings +:set -XTypeApplications