dev: move some commands to shell

1 files changed, 0 insertions, 4 deletions

diff --git a/repl b/repl
deleted file mode 100755
index b09bb5a..0000000
--- a/repl
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/usr/bin/env bash
-set -ex
-nix run -f $BIZ_ROOT/default.nix "repl" \
-  -c ghci -i$BIZ_ROOT -ghci-script "$BIZ_ROOT/.ghci"