3 files changed, 0 insertions, 9 deletions

diff --git a/dot/local/bin/ghc b/dot/local/bin/ghc
deleted file mode 100755
index 36c3656..0000000
--- a/dot/local/bin/ghc
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/sh
-prog=${0##*/}
-case "$prog" in
-    ghc|runghc|ghci) exec stack --no-system-ghc $prog;;
-esac
-echo "Not a stack command: $prog" >&2
-exit -1
diff --git a/dot/local/bin/ghci b/dot/local/bin/ghci
deleted file mode 120000
index a064d26..0000000
--- a/dot/local/bin/ghci
+++ /dev/null
@@ -1 +0,0 @@
-ghc
\ No newline at end of file
diff --git a/dot/local/bin/runghc b/dot/local/bin/runghc
deleted file mode 120000
index a064d26..0000000
--- a/dot/local/bin/runghc
+++ /dev/null
@@ -1 +0,0 @@
-ghc
\ No newline at end of file