diff --git a/.ghci b/.ghci deleted file mode 100644 index d391637..0000000 --- a/.ghci +++ /dev/null @@ -1,8 +0,0 @@ --- This file is generated by `ninox generate` --- Think twice before editing it directly. -:set -fno-show-valid-hole-fits -:set -Wwarn -:set -XOverloadedLabels -:set -XOverloadedStrings -:set -XTypeApplications -:set -XEmptyCase